columbia / woodpeckerView external linksLinks
Woodpecker: Verifying systems rules using rule-directed symbolic execution
☆12Jul 5, 2016Updated 9 years ago
Alternatives and similar repositories for woodpecker
Users that are interested in woodpecker are comparing it to the libraries listed below
Sorting:
- Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…☆11Dec 18, 2017Updated 8 years ago
- CMU 15-745 Spring 2014☆10Mar 7, 2014Updated 11 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Jul 25, 2014Updated 11 years ago
- Program Analysis for LLVM☆38Mar 25, 2017Updated 8 years ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆22Dec 17, 2021Updated 4 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Nov 24, 2015Updated 10 years ago
- ☆19Jun 25, 2025Updated 7 months ago
- Dynamic Program Slicing in LLVM Compiler☆143Aug 1, 2018Updated 7 years ago
- Sys, but no longer in Haskell☆19Mar 14, 2022Updated 3 years ago
- Inlining functions can be a very effective method of duplicating sensitive code for increased security☆23Mar 11, 2014Updated 11 years ago
- ☆53Nov 26, 2017Updated 8 years ago
- libgcrypt example code☆20Sep 1, 2015Updated 10 years ago
- A(nother) Binary Analysis Framework☆30Jun 10, 2014Updated 11 years ago
- a CIL-based dynamic symbolic execution (DSE) engine for C language☆10Jan 23, 2015Updated 11 years ago
- System Dependence Graph generation from Java source code☆19Jun 11, 2019Updated 6 years ago
- ☆29Jan 7, 2021Updated 5 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Apr 29, 2021Updated 4 years ago
- Z3 Symbolic Execution python☆28Dec 28, 2017Updated 8 years ago
- A dynamic analysis framework for C and C++ programs☆29Jan 23, 2026Updated 3 weeks ago
- A Java version of the automatic program repair described by RSRepair and GenProg.☆11Jan 6, 2016Updated 10 years ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- Symbolic Program Slicing with LLVM☆84Aug 3, 2020Updated 5 years ago
- A library for analyzing LLVM bitcode in Haskell☆44Oct 9, 2014Updated 11 years ago
- An extension layer that makes it easier to build complex networks in Mininet☆44Feb 28, 2017Updated 8 years ago
- The released code of FuzzGuard in USENIX Security 2020.☆32Feb 28, 2020Updated 5 years 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
- Windows Subsytem For BSD☆17Aug 11, 2025Updated 6 months ago
- TG 2016 hacking compo repo☆10Mar 31, 2016Updated 9 years ago
- ☆10May 30, 2017Updated 8 years ago
- My multi-system flake configuration☆12Updated this week
- Many companies are utilizing the cloud for their day to day activities. Many big cloud service providers like AWS, Microsoft Azure have b…☆11Nov 13, 2022Updated 3 years ago
- A script tool for generating figures from experiment results, based on matplotlib☆12May 10, 2019Updated 6 years ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆10Feb 3, 2020Updated 6 years ago
- Common Proprietary Qualcomm Binaries☆10Dec 26, 2016Updated 9 years ago
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆11May 20, 2019Updated 6 years ago
- Android lockscreen password cracker via ADB (Tested only on Asus Zenfone 4 A450CG )☆10Jul 3, 2017Updated 8 years ago
- DNS resolution via glibc for rust☆11Nov 27, 2025Updated 2 months ago
- CREST is a concolic test generation tool for C.☆163Jul 5, 2020Updated 5 years ago