Popular repositories Loading

1. ikos ikos Public

   Forked from NASA-SW-VnV/ikos

   Static analyzer for C/C++ based on the theory of Abstract Interpretation.

   C++

2. joern joern Public

   Forked from joernio/joern

   Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

   Scala

3. ant-application-security-testing-benchmark ant-application-security-testing-benchmark Public

   Forked from alipay/ant-application-security-testing-benchmark

   xAST评价体系，让安全工具不再“黑盒”. The xAST evaluation benchmark makes security tools no longer a "black box".

   Java