tree-climber
tree-climber copied to clipboard
Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
When parsing AST, sometimes messages or warnings arise. I want to print a stack trace from the AST root to the warning when this happens. Look at the warning in...
Probably these constructs are not handled correctly by CFG and DUC. - [ ] Pointer declarations included in CFG - [ ] Array declarations included in CFG - [ ]...
Probably there is some stuff going on with structs that is not handled correctly by CFG or DUC. - [ ] Struct declarations - [ ] Struct declarations with initializer...
CFGCreator should handle multiple files and functions correctly. Files should be represented by a FILE node containing all the functions and global variables in the file. Functions should be connected...
Add expressions inside statements to the CFG, such as `if ((i = 0) == 0)`. Some CFGs collapse all operations within a statement, line, or basic block into one node....
Add function parameters to CFG https://en.cppreference.com/w/c/language/function_definition. Currently these are not present in the CFG. To do it, add a visitor method to CFGCreator https://github.com/bstee615/tree-sitter-cfg/blob/master/tree_sitter_cfg/cfg_creator.py#L9.