SMPT
dep-scan
| SMPT | dep-scan | |
|---|---|---|
| 1 | 3 | |
| 27 | 723 | |
| - | 6.5% | |
| 6.4 | 8.7 | |
| 6 months ago | 5 days ago | |
| Python | Python | |
| GNU General Public License v3.0 only | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
SMPT
-
Petri Net for tokio ?
I also found https://github.com/nicolasAmat/SMPT maybe it should be used because SMT, Z3 looks familiar. It's used in fancy new theorem provers.
dep-scan
-
Show devsecops: OWASP dep-scan v5 - a next-generation security and risk audit tool for everyone
Depscan v5 is the first opensource SCA tool that can perform precision reachability analysis for Java, JavaScript/TypeScript, and Python applications to triage and prioritize the results. We invented an automatic symbols tagger, a lightweight data-flow analyzer, and a static slicer to compute all reachable flows with or without vulnerabilities. We open-sourced all our work, including the specification.
- Dep-scan: Fully open-source security audit for project dependencies
-
what was the name of the tool that does risk analysis on imported libraries?
wow found it with your keyword! it's https://github.com/AppThreat/dep-scan
What are some alternatives?
cargo-check-deadlock - Find deadlocks in Rust code with Petri net model checking
VexEmulator - A V5 brain emulator that can run most .v5python programs
ElectricEye - ElectricEye is a multi-cloud, multi-SaaS Python CLI tool for Asset Management, Security Posture Management & Attack Surface Monitoring supporting 100s of services and evaluations to harden your CSP & SaaS environments with controls mapped to over 20 industry, regulatory, and best practice controls frameworks
repometascore - repometascore (aka repository metadata scoring) analyzes metadata of the given repository, collects info about its contributors, and outputs the risk level.
prowler - Prowler is an Open Source Security tool for AWS, Azure, GCP and Kubernetes to do security assessments, audits, incident response, compliance, continuous monitoring, hardening and forensics readiness. Includes CIS, NIST 800, NIST CSF, CISA, FedRAMP, PCI-DSS, GDPR, HIPAA, FFIEC, SOC2, GXP, Well-Architected Security, ENS and more
ochrona-cli - A command line tool for detecting vulnerabilities in Python dependencies and doing safe package installs
cdxgen - Creates CycloneDX Bill of Materials (BOM) for your projects from source and container images. Supports many languages and package managers. Integrate in your CI/CD pipeline with automatic submission to Dependency Track server. Slack: https://cyclonedx.slack.com/archives/C04NFFE1962
kubestriker - A Blazing fast Security Auditing tool for Kubernetes
packj - Packj stops :zap: Solarwinds-, ESLint-, and PyTorch-like attacks by flagging malicious/vulnerable open-source dependencies ("weak links") in your software supply-chain
scancode.io - ScanCode.io is a server to script and automate software composition analysis pipelines with ScanPipe pipelines. This project is sponsored by NLnet project https://nlnet.nl/project/vulnerabilitydatabase/ Google Summer of Code, nexB and others generous sponsors!
atom - Atom is a novel intermediate representation for applications and a standalone tool that is powered by chen.
faraday - Open Source Vulnerability Management Platform