☆26Oct 13, 2015Updated 11 years ago
Alternatives and similar repositories for caver
Users that are interested in caver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Inter-procedural analysis framework and dependency/information-flow analysis for LLVM☆19Mar 2, 2013Updated 13 years ago
- IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis☆16Apr 4, 2015Updated 11 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆36May 5, 2021Updated 5 years ago
- ☆17Apr 18, 2019Updated 7 years ago
- PERWAPI is a reader writer module for .NET program executables. It has been used as back-end for progamming language compilers such as Ga…☆10Jan 23, 2020Updated 6 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.
- Example queries for joern☆18Feb 2, 2017Updated 9 years ago
- UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages☆44Nov 5, 2021Updated 4 years ago
- ☆39Jun 1, 2022Updated 4 years ago
- HexType: Efficient Detection of Type Confusion Errors for C++☆102Apr 20, 2024Updated 2 years ago
- ☆13May 5, 2021Updated 5 years ago
- Securing Embedded Systems with Return Address Integrity☆16Aug 19, 2024Updated 2 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆14Feb 13, 2018Updated 8 years ago
- SMVs: Enforcing Least Privilege Memory Views for Multithreaded Applications☆13Jul 7, 2022Updated 4 years ago
- ProXBBE (Protocol eXtraction By Binary Execution)☆31Sep 21, 2017Updated 9 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.
- exploit dev. stuff☆20Aug 7, 2012Updated 14 years ago
- An distributed, dynamic and static analysis security sandbox for Android, all open source.☆11Jul 31, 2014Updated 12 years ago
- MCFI/PICFI tool chain☆44Mar 21, 2024Updated 2 years ago
- Experimental setup of "Intel MPX explained"☆29Feb 4, 2020Updated 6 years ago
- Public release of the tools used to assist in gadget finding.☆42Jan 29, 2018Updated 8 years ago
- Source code of AsiaCCS'22 paper - RecIPE: Revisiting the Evaluation of Memory Error Defenses☆14Sep 19, 2023Updated 3 years ago
- bmod parses binaries for modification/patching and disassembles machine code sections.☆12Apr 19, 2018Updated 8 years ago
- Applied Symbolic Execution with KLEE/LLVM☆24Jun 7, 2013Updated 13 years ago
- This is a C++ implementation of Graspan.☆32Dec 20, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A debugger to detect and diagnose numerical errors in floating point programs☆12Jun 19, 2022Updated 4 years ago
- PeTAL: Ensuring Access Control Integrity against Data-only Attacks on Linux (ACM CCS 2024)☆17Nov 4, 2024Updated last year
- ☆13Dec 30, 2025Updated 10 months ago
- A MultiTouch driver for touch injection on Windows 7☆12Oct 5, 2016Updated 10 years ago
- PathArmor context-sensitive CFI implementation☆46Oct 26, 2015Updated 11 years ago
- A research project concerned with implementing Joern for analysis of binaries.☆13Sep 2, 2015Updated 11 years ago
- An open source GPU monitoring tool written in C++ and C#. Not meant as a replacement for Fraps but designed to be used by developers and …☆12Feb 9, 2018Updated 8 years ago
- Staging area for work on Integer Overflow Checker (IOC), a clang extension that provides compiler flags to insert check for various sourc…☆22Oct 31, 2012Updated 13 years ago
- Miscellanous scripts used for malware analysis☆22Oct 4, 2018Updated 8 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.
- it's a simple LKM rootkit.☆12Aug 2, 2016Updated 10 years ago
- ☆12Nov 2, 2015Updated 10 years ago
- SoftBoundCETS for LLVM+Clang version 34☆61Sep 19, 2014Updated 12 years ago
- Simple Soot program that detects whether an Android application leaks sensitive data.☆13Jan 7, 2013Updated 13 years ago
- DNS反弹shell客户端☆12Jul 24, 2016Updated 10 years ago
- This repo is deprecated as of 2019.08.20, all code moved to https://github.com/grimm-co/killerbeez☆16Nov 22, 2018Updated 7 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆33Jul 6, 2019Updated 7 years ago