Sign in

Repository Index

47,133 repositories indexed

Filters

Filters

Clear all filters

1–13 of 13 · Most stars

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

  • static-analysis
  • software-verification
  • abstract-interpretation
  • program-analysis

LunaSec - Dependency Security Scanner that automatically notifies you about vulnerabilities like Log4Shell or node-ipc in your Pull Requests and Builds. Protect yourself in 30 seconds with the LunaTrace GitHub App: https://github.com/marketplace/lunatrace-by-lunasec/

  • tokenization
  • web-security
  • compliance
  • security