3 ms·
Many thanks for the reply. Yes i meant inter-procedural. For a POC project, which (open source) library/framework would be a good starting point today? We are
by yazr 8y ago
Many thanks for the reply. Yes i meant inter-procedural.
For a POC project, which (open source) library/framework would be a good starting point today?
We are focused on some deep analysis of some very specific pointer/array analysis. We can target either C/C++/Java. We have varying experience with compilers/JITs/builders.
(I have worked with WALA/Java 5yrs ago..)
- mynegation 8y agoThese are very different languages. For C++ there are not too many open source b/c C++ is tough. There is cppcheck, but if you want to do something very custom, starting with clang may be an option. For java FindBugs/SpotBugs/HuntBugs was the most prominent some years ago. Also check: https://github.com/mre/awesome-static-analysis https://github.com/mre/awesome-static-analysis