ucsb-seclab / sasiView external linksLinks
Signedness-Agnostic Strided-Interval
☆38Jun 21, 2019Updated 6 years ago
Alternatives and similar repositories for sasi
Users that are interested in sasi are comparing it to the libraries listed below
Sorting:
- "A Practical Recipe for Hardware Implants" presentation materials.☆13Nov 10, 2020Updated 5 years ago
- ☆19Dec 28, 2021Updated 4 years ago
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- enable libemu run pe file and add some good modify☆14Feb 4, 2019Updated 7 years ago
- A Python library for easy and fast program transformation/repair☆15Oct 26, 2021Updated 4 years ago
- 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
- The author is lazy, nothing writen.☆29Mar 25, 2023Updated 2 years ago
- Automatic modeling of hardware to enable the rehosting of embedded firmware☆86Mar 22, 2024Updated last year
- Measure branching along code paths☆18Oct 25, 2016Updated 9 years ago
- IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis☆16Apr 4, 2015Updated 10 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- Pandemic binary program analysis framework in OCaml (abandoned)☆71May 28, 2019Updated 6 years ago
- Hybrid Interface Aware Fuzz for Android Kernel Drivers☆31Jun 25, 2021Updated 4 years ago
- The Jakstab static analysis platform for binaries☆163Dec 10, 2019Updated 6 years ago
- ☆16Apr 24, 2019Updated 6 years ago
- ☆132Oct 10, 2019Updated 6 years ago
- PoC for CVE-2017-0075☆37Sep 12, 2019Updated 6 years ago
- Explore LLVM Bitcode interactively using a graph database☆58Feb 28, 2020Updated 5 years ago
- Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints☆127Jun 18, 2020Updated 5 years ago
- Simple tool to use LsaManageSidNameMapping get LSA to add or remove SID to name mappings.☆25Oct 25, 2020Updated 5 years ago
- ☆19Mar 16, 2017Updated 8 years ago
- Lightweight WINAPI tracing with Pin☆27Aug 22, 2019Updated 6 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
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Oct 3, 2022Updated 3 years ago
- ☆17Jan 1, 2021Updated 5 years ago
- File monitor for wafer maps, tester files, or about anything.☆13Aug 15, 2018Updated 7 years ago
- The new phuzzing framework!☆164Jun 14, 2024Updated last year
- Malware Analysis, Anti-Analysis, and Anti-Anti-Analysis☆45Sep 16, 2017Updated 8 years ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆45Oct 4, 2019Updated 6 years ago
- The unofficial release of the tool we used in the EuroS&P 2017 paper: Open Doors for Bob and Mallory: Open Port Usage in Android Apps and…☆23Oct 24, 2017Updated 8 years ago
- libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)☆267Feb 21, 2025Updated 11 months ago
- link a linux ELF .so library into memory with python and call functions in it, even if you're not on linux☆10Feb 5, 2020Updated 6 years ago
- Changing memory protection in an arbitrary process☆50Nov 19, 2018Updated 7 years ago
- A (Miasm2 + binaryninja) based function divination.☆15Oct 22, 2017Updated 8 years ago
- Demonstrating the BadAss issue.☆17May 19, 2025Updated 8 months ago
- MouHidInputHook enables users to filter, modify, and inject mouse input data packets into the input data stream of HID USB mouse devices …☆11Jul 11, 2019Updated 6 years ago
- ☆39Feb 6, 2021Updated 5 years ago
- Tools that run inside the guest☆11Jan 2, 2020Updated 6 years ago
- An IDA plugin that allows you to use /proc/kallsyms output to import function and data labels into an extracted Android kernel image.☆70Nov 4, 2019Updated 6 years ago