bitwise2code's repositories
ant-application-security-testing-benchmark
xAST评价体系，让安全工具不再“黑盒”. The xAST evaluation benchmark makes security tools no longer a "black box".
Apache-2.0000
joern
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
Apache-2.0000
ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
NOASSERTION000