An experiment in using literate programming to write a static analysis tool in Rust
☆18Feb 8, 2023Updated 3 years ago
Alternatives and similar repositories for static-analyser-in-rust
Users that are interested in static-analyser-in-rust are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Generic server for collaborative code analysis☆13Dec 19, 2016Updated 9 years ago
- ACSAC 2018 paper: Towards Automated Generation of Exploitation Primitives for Web Browsers☆15Nov 28, 2018Updated 7 years ago
- eMMC / SD Card testing library☆10Jul 2, 2025Updated 8 months ago
- An approximate solver for concolic execution☆22Apr 29, 2025Updated 10 months ago
- Our backup exploitation technique: fuzzing for POVs!☆24Aug 20, 2016Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- a version of baby agi using dspy and typed predictors☆16Mar 9, 2024Updated 2 years ago
- A set of templates for different academic venues.☆29Jun 18, 2019Updated 6 years ago
- Hardware-assisted Data-flow Isolation☆29Jan 28, 2018Updated 8 years ago
- Packed Malware Analyzer (PACKMAN)☆12Jan 31, 2016Updated 10 years ago
- FWRF is a open source tool for firmware web-side analysis.☆11Aug 27, 2015Updated 10 years ago
- Plugin for IDA Pro to convert assembler to LLVM IR☆20Nov 15, 2016Updated 9 years ago
- A coverage-based software testing tool☆34Dec 11, 2020Updated 5 years ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆12Aug 17, 2017Updated 8 years ago
- Automatic analysis of SpiderMonkey and Firefox bugs on Bugzilla☆11Mar 17, 2026Updated last week
- 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.
- Search engine for subtitles☆10Mar 28, 2015Updated 10 years ago
- Import accounting transactions from CSV files to Ledger format.☆11Sep 27, 2015Updated 10 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆46Mar 14, 2016Updated 10 years ago
- ☆12Feb 20, 2021Updated 5 years ago
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆25Sep 16, 2022Updated 3 years ago
- Target components for kAFL/Nyx Fuzzer☆34Jul 21, 2025Updated 8 months ago
- USB-PD and associated hardware driver libraries in Rust☆23Jan 27, 2025Updated last year
- Some Lustre program examples☆21Jul 8, 2025Updated 8 months ago
- Quickly retrieve all keys and download links of your bundle from IndieGala or Humble Bundle. This is not a hack or anything like that to …☆10Sep 2, 2019Updated 6 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆12Mar 12, 2026Updated 2 weeks ago
- Tool for PDB generation from IDA Pro database☆12Jul 27, 2020Updated 5 years ago
- show files with valid checksum from .torrent☆12Jul 31, 2017Updated 8 years ago
- Check Diffie Hellman group prime parameter☆11Jan 29, 2016Updated 10 years ago
- Tree sitter parser for LLVM☆24Dec 14, 2025Updated 3 months ago
- Teaching myself the Odin Programming Language☆19Aug 16, 2022Updated 3 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- Code for the paper EvilCoder: Automated Bug Insertion at ACSAC 2016☆46Jan 18, 2017Updated 9 years ago
- The parser-directed Fuzzer☆40May 22, 2020Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Simple assembler to convert pioasm to bytes☆26Oct 20, 2025Updated 5 months ago
- Go package spipe implements spiped protocol for creating symmetrically encrypted and authenticated connections.☆21Dec 11, 2014Updated 11 years ago
- A time-scale view of linux btrfs snapshots☆21Feb 29, 2012Updated 14 years ago
- Xinu OS for STM32☆26Feb 20, 2024Updated 2 years ago
- Synthesis Format Conversion Tool☆27Nov 18, 2025Updated 4 months ago
- cpp2 (cppfront) Syntax Highlighting for VSCode☆24Jun 24, 2025Updated 9 months ago
- Tizen ARM for Allwinner Devices☆28Apr 30, 2015Updated 10 years ago