Skip to content

Instantly share code, notes, and snippets.

@blockspacer

blockspacer/flex.md

Last active March 31, 2021 16:08
Show Gist options
  • Save blockspacer/6f03933de4f9a6c920649713b056ba4a to your computer and use it in GitHub Desktop.
Save blockspacer/6f03933de4f9a6c920649713b056ba4a to your computer and use it in GitHub Desktop.
Download ZIP
Parse C++
@blockspacer
Copy link
Author

Thank you for such great resources. Now, how we can get the control flow graph based on the parser you have built using Bison and Flex? Then we should extract a control flow graph to do further analysis such as reaching definitions or liveness of a variable. Do you have resources for that as well?

I use Clang LibTooling in https://github.com/blockspacer/CXXCTP . I don't use Bison or Flex

About Control Flow in Clang:

@YahyaAbraheem
Copy link

Thank you, have you implemented worklist iterative algorithm for data flow analysis in Clang that will work based on reaching definitions, kill and gen sets?

@blockspacer
Copy link
Author

data flow analysis in Clang

No.

May be useful:

@blockspacer
Copy link
Author

detect missing std::move using Control Flow Graph (CFG)

https://github.com/chromium/chromium/blob/99314be8152e688bafbbf9a615536bdbb289ea87/tools/clang/base_bind_rewriters/BaseBindRewriters.cpp#L231

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment