Analysis tools logo
0

Sys

A static/symbolic Tool for finding bugs in (browser) code. It uses the LLVM AST to find bugs like uninitialized memory access.

Github:
    15315314302020
Workflow integration:
  • Type: cli
    cli

Official Sys Homepage

https://github.com/PLSysSec/sys

GPL-2.0 License

Maintained

Similar Tools

  • 0VeriFast