User Guided API Misuse Detection
☆30Dec 9, 2022Updated 3 years ago
Alternatives and similar repositories for arbitrar
Users that are interested in arbitrar are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆19Oct 5, 2021Updated 5 years ago
- LLVM IR Binding for Rust☆14Nov 16, 2020Updated 5 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆63Nov 5, 2021Updated 4 years ago
- An automatic API misuse checker for C programs!☆19Apr 3, 2019Updated 7 years ago
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆57Jul 30, 2026Updated 3 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- SyzTrust's main repository. Start here to install.☆19Feb 29, 2024Updated 2 years ago
- CONCOCTION is an automated machine learning-based vulnerability detection framework that combines static source code information and dyna…☆28Aug 18, 2024Updated 2 years ago
- Python library for CPGQL server☆48Jun 4, 2024Updated 2 years ago
- ☆26Oct 13, 2020Updated 6 years ago
- ☆22Mar 21, 2024Updated 2 years ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆26Sep 5, 2021Updated 5 years ago
- ☆20Feb 26, 2024Updated 2 years ago
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆51Sep 25, 2024Updated 2 years ago
- TorchQL is a query language for Python-based machine learning models and datasets.☆12May 1, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A shell AST library in Python☆17Oct 23, 2026Updated last week
- An NLP-based fuzzing assitance tool for generating valid option combinations.☆54Jun 18, 2025Updated last year
- Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…☆103Dec 18, 2023Updated 2 years ago
- The replication package of paper "Pre-training by Predicting Program Dependencies for Vulnerability Analysis Tasks"☆28Jan 3, 2024Updated 2 years ago
- HouseFuzz: Service-Aware Grey-Box Fuzzing for Vulnerability Detection in Linux-Based Firmware☆23May 31, 2026Updated 5 months ago
- FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution☆23May 29, 2023Updated 3 years ago
- Vulnerable code clone detection technique. Published in EuroS&P2020☆10Sep 4, 2020Updated 6 years ago
- UAFuzz: Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities☆353Sep 25, 2023Updated 3 years ago
- Windows Cloud Files Mini Filter Driver Elevation of Privilege Vulnerability☆10Mar 18, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆32Sep 22, 2026Updated last month
- Awesome LLM for Cybersecurity☆12Nov 16, 2024Updated last year
- Enhacing Code Pre-trained Models by Contrastive Learning☆41Mar 8, 2023Updated 3 years ago
- UAF Fuzzing Benchmark☆60Feb 22, 2021Updated 5 years ago
- Artifact for TOSEM Submission: GiantRepair☆12Jun 26, 2024Updated 2 years ago
- ☆73Jun 26, 2024Updated 2 years ago
- The official codes for our paper at COLING 2022: Semantic-Preserving Adversarial Code Comprehension☆12Oct 23, 2022Updated 4 years ago
- POV templates and compilation support for CGC binaries.☆10May 19, 2022Updated 4 years ago
- ☆18Feb 4, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆10Dec 1, 2021Updated 4 years ago
- ☆12Apr 23, 2021Updated 5 years ago
- Python3 version of UC Berkeley's CS 188 Pacman Capture the Flag project☆10Mar 14, 2024Updated 2 years ago
- ☆14May 16, 2024Updated 2 years ago
- ☆13Jun 18, 2025Updated last year
- VulSeeker: A Semantic Learning Based Vulnerability Seeker For Cross-Platform Binary☆108Dec 25, 2018Updated 7 years ago
- EMS provided by the paper "EMS: History-Driven Mutation for Coverage-based Fuzzing"☆34Nov 4, 2022Updated 3 years ago