Change the repository type filter
All
Repositories list
201 repositories
dylint
Public- Publications from Trail of Bits
instafix-llvm
Publicvast
PublicVAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.cargo-line-test
Publictesting-handbook
Publicdeepstate
PublicA unit test-like interface for fuzzing and symbolic executionbuild-wrap
Publictwa
PublicA tiny web auditor with strong opinions.vscode-sarif-explorer
PublicSARIF Explorer: A VSCode extension that helps you visualize and triage static analysis resultsmultiplier
Publiczkdocs
PublicInteractive documentation on zero-knowledge proof systems and related primitives.challenge-tasks
Publicwinchecksec
PublicChecksec, but for Windows: static detection of security mitigations in executablespip-plugin-pep740
Publicrfc8785.py
PublicA pure-Python implementation of RFC8785 (JSON Canonicalization Scheme)- Rust libraries and utilities for parsing Windows Certificate Trust Lists
semgrep-rules
Publiceth-security-toolbox
Public