-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #15 from FuzzingLabs/dev/antonin
Minor fixes
- Loading branch information
Showing
3 changed files
with
116 additions
and
106 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,112 @@ | ||
| use cairo_lang_sierra::program::GenStatement; | ||
|
|
||
| use crate::config::GraphConfig; | ||
| use crate::decompiler::function::Function; | ||
| use crate::decompiler::libfuncs_patterns::{ | ||
| IRRELEVANT_CALLGRAPH_FUNCTIONS_REGEXES, USER_DEFINED_FUNCTION_REGEX, | ||
| }; | ||
| use crate::parse_element_name; | ||
|
|
||
| /// Generates the callgraph dotgraph from a vector a Function objects | ||
| pub fn process_callgraph(functions: &[Function]) -> String { | ||
| let mut dot = String::from("strict digraph G {\n"); | ||
|
|
||
| // Global Graph configuration | ||
| dot.push_str(&format!( | ||
| " graph [fontname=\"{}\", fontsize={}, layout=\"{}\", rankdir=\"{}\", newrank={}];\n", | ||
| GraphConfig::CALLGRAPH_GRAPH_ATTR_FONTNAME, | ||
| GraphConfig::CALLGRAPH_GRAPH_ATTR_FONTSIZE, | ||
| GraphConfig::CALLGRAPH_GRAPH_ATTR_LAYOUT, | ||
| GraphConfig::CALLGRAPH_GRAPH_ATTR_RANKDIR, | ||
| GraphConfig::CALLGRAPH_GRAPH_ATTR_NEWRANK, | ||
| )); | ||
|
|
||
| // Node attributes | ||
| dot.push_str(&format!( | ||
| " node [style=\"{}\", shape=\"{}\", pencolor=\"{}\", margin=\"0.5,0.1\", fontname=\"{}\"];\n", | ||
| GraphConfig::CALLGRAPH_NODE_ATTR_STYLE, | ||
| GraphConfig::CALLGRAPH_NODE_ATTR_SHAPE, | ||
| GraphConfig::CALLGRAPH_NODE_ATTR_PENCOLOR, | ||
| GraphConfig::CALLGRAPH_NODE_ATTR_FONTNAME, | ||
| )); | ||
|
|
||
| // Edge attributes | ||
| dot.push_str(&format!( | ||
| " edge [arrowsize={}, fontname=\"{}\", labeldistance={}, labelfontcolor=\"{}\", penwidth={}];\n", | ||
| GraphConfig::CALLGRAPH_EDGE_ATTR_ARROWSIZE, | ||
| GraphConfig::CALLGRAPH_EDGE_ATTR_FONTNAME, | ||
| GraphConfig::CALLGRAPH_EDGE_ATTR_LABELDISTANCE, | ||
| GraphConfig::CALLGRAPH_EDGE_ATTR_LABELFONTCOLOR, | ||
| GraphConfig::CALLGRAPH_EDGE_ATTR_PENWIDTH, | ||
| )); | ||
|
|
||
| for function in functions { | ||
| let function_name = format!("{}", parse_element_name!(function.function.id)); | ||
|
|
||
| // Constructing the node entry for DOT format | ||
| dot.push_str(&format!( | ||
| " \"{}\" [shape=\"rectangle, fill\", fillcolor=\"{}\", style=\"filled\"];\n", | ||
| function_name, | ||
| GraphConfig::CALLGRAPH_USER_DEFINED_FUNCTIONS_COLOR, | ||
| )); | ||
|
|
||
| for statement in &function.statements { | ||
| match &statement.statement { | ||
| GenStatement::Invocation(statement) => { | ||
| let called_function = parse_element_name!(&statement.libfunc_id); | ||
|
|
||
| // Add user-defined function to the callgraph | ||
| // Check if the called function matches the user-defined function regex | ||
| if let Some(captures) = USER_DEFINED_FUNCTION_REGEX.captures(&called_function) { | ||
| if let Some(matched_group) = captures.name("function_id") { | ||
| let called_function_name = format!("{}", matched_group.as_str()); | ||
|
|
||
| // Create the node in the DOT format and append it to the dot string | ||
| dot.push_str(&format!( | ||
| " \"{}\" [shape=\"rectangle\", fillcolor=\"{}\", style=\"filled\"];\n", | ||
| called_function_name, | ||
| GraphConfig::CALLGRAPH_USER_DEFINED_FUNCTIONS_COLOR | ||
| )); | ||
|
|
||
| // Add edge | ||
| dot.push_str(&format!( | ||
| " \"{}\" -> \"{}\";\n", | ||
| function_name, called_function_name | ||
| )); | ||
| } | ||
| } | ||
| // Add libfuncs to the callgraph | ||
| else { | ||
| let called_function_name = format!("{}\t\t", called_function.as_str()); | ||
|
|
||
| // Skip irrelevant functions | ||
| if IRRELEVANT_CALLGRAPH_FUNCTIONS_REGEXES | ||
| .iter() | ||
| .any(|regex| regex.is_match(&called_function_name)) | ||
| { | ||
| continue; | ||
| } | ||
|
|
||
| // Create the node in the DOT format and append it to the dot string | ||
| dot.push_str(&format!( | ||
| " \"{}\" [shape=\"rectangle\", fillcolor=\"{}\", style=\"filled\"];\n", | ||
| called_function_name, | ||
| GraphConfig::CALLGRAPH_LIBFUNCS_COLOR | ||
| )); | ||
|
|
||
| // Add edge | ||
| dot.push_str(&format!( | ||
| " \"{}\" -> \"{}\";\n", | ||
| function_name, called_function_name | ||
| )); | ||
| } | ||
| } | ||
|
|
||
| _ => {} | ||
| } | ||
| } | ||
| } | ||
|
|
||
| dot.push_str("}\n"); | ||
| dot | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1 +1,2 @@ | ||
| pub mod callgraph; | ||
| pub mod graph; |