https://github.com/coinfabrik/scout-audit
Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and deviations from best practices. Scout audit is the core development on which we extend scout for specific blockchains.
https://github.com/coinfabrik/scout-soroban
Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security issues and deviations from best practices.
episimmer
Episimmer is an Epidemic Simulation Framework for Decision Support. It is a highly flexible system that can be easily configured to help take decisions during an epidemic in closed communities like university campuses and gated communities.
https://github.com/deepfence/threatmapper
Open Source Cloud Native Application Protection Platform (CNAPP)
iust_deep_fuzz
Advanced file format fuzzer based-on deep neural language models.
https://github.com/coinfabrik/scout-substrate
Scout is an extensible open-source tool intended to assist Substrate developers and auditors detect common security issues and deviations from best practices.
solidity-detectors
Research on Vulnerability Detection Using Intermediate Representations of Solidity
trovon
Learning from what we know: How to perform vulnerability prediction using noisy historical data, Empirical Software Engineering (EMSE)