usnistgov / ai-bugfinder-testbedLinks
A static analyzer powered by AI
☆22Updated last year
Alternatives and similar repositories for ai-bugfinder-testbed
Users that are interested in ai-bugfinder-testbed are comparing it to the libraries listed below
Sorting:
- atom is a novel intermediate representation for applications and a standalone tool that is powered by chen.☆76Updated last week
- VFCFinder: Searching for the Missing Vulnerability Fixing Commits☆30Updated last year
- The OpenSSF CVE Benchmark consists of code and metadata for over 200 real life CVEs, as well as tooling to analyze the vulnerable codebas…☆155Updated last year
- ☆27Updated 2 years ago
- An open-source dataset of malicious software packages found in the wild, 100% vetted by humans.☆255Updated last week
- Home page of project "KB"☆130Updated 8 months ago
- future-proof vulnerability detection benchmark, based on CVEs in open-source repos☆61Updated last week
- A taxonomy of attacks on software supply chains in the form of an attack tree, based on and linked to numerous real-world incidents and o…☆79Updated last week
- Modular framework for file information extraction and dependency analysis to generate accurate SBOMs☆36Updated this week
- Securibench Micro is a benchmark for static analysis tools for security.☆26Updated 7 years ago
- Code Hierarchy Exploration Net (chen)☆22Updated 3 weeks ago
- ☆30Updated last month
- SecretBench is a dataset consisting of different secret types collected from public open-source repositories.☆44Updated last year
- ☆152Updated 2 months ago
- A very simple open source implementation of Google's Project Naptime☆173Updated 8 months ago
- The Cloud Property Graph is based on a Code Property Graph and tries to connect static code analysis and Cloud runtime assessment.☆28Updated 10 months ago
- Trail of Bits Testing Handbook☆85Updated last week
- A curated list of static analysis tools, linters and code quality checkers for various programming languages☆43Updated 9 years ago
- ☆52Updated last year
- ☆36Updated last year
- Security Harness Engineering for Robust Program Analysis☆104Updated 3 months ago
- ☆60Updated last year
- OWASP Foundation Web Respository☆18Updated 3 weeks ago
- A dataset of software supply chain compromises. Please help us maintain it!☆130Updated 3 years ago
- Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale☆78Updated 4 years ago
- OWASP Ontology-driven Threat Modelling framework☆41Updated 2 years ago
- Automatically exported from code.google.com/p/rough-auditing-tool-for-security☆88Updated 4 years ago
- A fork of Bandit tool with patterns to identifying malicious python code.☆28Updated 3 years ago
- Buttercup CRS as submitted to the AIxCC Final Competition☆89Updated 4 months ago
- A web browser with dynamic data-flow tracking enabled in the Javascript engine and DOM, based on Mozilla Firefox (https://github.com/mozi…☆129Updated 2 weeks ago