UWAGA!!! Project in process (not finished/may cause tears).
Created during the internship "Summ3r 0f h4ck 2019" in Digital Security.
- CSA plugin skeleton
- Detect potentional IO
- Base for taint analysis (based on GenericTaintChecker.cpp)
- Replace implemention of taint class
- Add SMT solvers or some math approach
1. Put code in /llvm/source/path/clang/lib/StaticAnalyzer/Checkers
2. cd in clang build directory
3. make clangStaticAnalyzerCheckers
Why this way? It's temperary solution.
clang++ -cc1 -o report/dir/path -x c++ -load ../lib/path/pluginlib.so -analyze -analyzer-checker=test.Me -analyzer-config test.Me:ParamName=ParamVal YourPlugn.cpp