Popular repositories Loading

1. LuaTaint LuaTaint Public

   An automated static taint analysis tool for the Lua web framework.

   Python 23 8

2. ModiGen ModiGen Public

   Modelica 5 1

3. SaTC SaTC Public

   Forked from NSSL-SJTU/SaTC

   A prototype of Shared-keywords aware Taint Checking, a novel static analysis approach that tracks the data flow of the user input between front-end and back-end to precisely detect security vulnera…

   Python

4. karonte karonte Public

   Forked from ucsb-seclab/karonte

   Karonte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware

   Python

5. staticfg staticfg Public

   Forked from coetaur0/staticfg

   Python3 control flow graph generator

   Python

6. firmware-analysis-plus firmware-analysis-plus Public

   Forked from secnotes/firmware-analysis-plus

   Simulate firmware with one click of firmadyne (使用 firmadyne 一键模拟固件)

   Python