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
- Fritzing Parts SVG image editor, coded in C++/QT5☆10Jul 2, 2019Updated 6 years ago
- Prototype compiler from AWS CloudFormation IaC templates into Logic.☆13Dec 5, 2023Updated 2 years ago
- Ada language support for CMake.☆12Nov 12, 2014Updated 11 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Control drone as a device through JSON websocket API☆12May 5, 2016Updated 10 years ago
- ☆10Mar 22, 2023Updated 3 years ago
- Our backup exploitation technique: fuzzing for POVs!☆25Aug 20, 2016Updated 9 years ago
- Script to automate the installation of the GNAT Community Installers☆18Nov 13, 2019Updated 6 years ago
- A set of templates for different academic venues.☆29Jun 18, 2019Updated 6 years ago
- Scans all the SMS of an Android device for any known domain that is related with the spyware Predator by Cytrox / Intellexa.☆27Mar 29, 2026Updated last month
- ☆20May 11, 2023Updated 2 years ago
- FBP Tutorial (using a simple File Filter app)☆18Sep 28, 2020Updated 5 years ago
- Hardware-assisted Data-flow Isolation☆29Jan 28, 2018Updated 8 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.
- 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☆11Apr 22, 2026Updated 2 weeks ago
- Search engine for subtitles☆10Mar 28, 2015Updated 11 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Target components for kAFL/Nyx Fuzzer☆34Jul 21, 2025Updated 9 months ago
- A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!☆46Jun 11, 2022Updated 3 years ago
- record power consumption on thinkpads and create a gnuplot graph☆10May 8, 2019Updated 7 years ago
- ☆18Mar 31, 2017Updated 9 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
- 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆22Nov 27, 2013Updated 12 years ago
- ARP cache poisoning implementation using Scapy☆13Jul 14, 2019Updated 6 years ago
- Synthesis Format Conversion Tool☆27Nov 18, 2025Updated 5 months ago
- Jtag parsing scripts☆10Oct 14, 2023Updated 2 years ago
- SecLists is a collection of multiple types of lists used during security assessments. List types include usernames, passwords, URLs, sens…☆11Jun 14, 2014Updated 11 years ago
- A demo project for AFL with QEMU Augmented Instrumentation (qai)☆44Nov 22, 2016Updated 9 years ago
- A cryptographic library in SPARK 2014☆28Jan 26, 2021Updated 5 years ago