☆17Jan 1, 2021Updated 5 years ago
Alternatives and similar repositories for datashield
Users that are interested in datashield are comparing it to the libraries listed below
Sorting:
- ☆29Jul 4, 2018Updated 7 years ago
- Public release of the tools used to assist in gadget finding.☆42Jan 29, 2018Updated 8 years ago
- Formally verified x86-64 decompilation☆44Mar 9, 2026Updated last week
- a paper template☆59Aug 4, 2025Updated 7 months ago
- Demonstrating the BadAss issue.☆17May 19, 2025Updated 10 months ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- Pre-built bitcode files for the Linux kernel☆22Sep 18, 2019Updated 6 years ago
- SoftBoundCETS for LLVM+Clang version 34☆61Sep 19, 2014Updated 11 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆56May 24, 2022Updated 3 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆22Feb 19, 2020Updated 6 years ago
- https://packages.debian.org/source/sid/netkit-telnet☆15Jan 28, 2017Updated 9 years ago
- RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)☆23May 9, 2019Updated 6 years ago
- Open-source release for MemSentry (EuroSys'17)☆47May 5, 2021Updated 4 years ago
- ☆11Apr 7, 2022Updated 3 years ago
- Experimental setup of "Intel MPX explained"☆29Feb 4, 2020Updated 6 years ago
- ☆13Dec 22, 2021Updated 4 years ago
- A Specification-Guided Approach for Firmware Emulation☆45Apr 22, 2025Updated 10 months ago
- A list of data-only attacks☆21Aug 22, 2025Updated 6 months ago
- Facilitating Non-Intrusive In-Vivo Firmware Testing with Stateless Instrumentation☆17Jan 28, 2026Updated last month
- This library is an implementation of a hash map in C that maps integers to void pointers☆21Feb 23, 2021Updated 5 years ago
- Exploit Firefox Vulnerability☆24May 25, 2020Updated 5 years ago
- ☆34Nov 11, 2021Updated 4 years ago
- Preventing code-reuse attacks by stopping code pointer leakages☆37Feb 24, 2016Updated 10 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆36May 5, 2021Updated 4 years ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆45Oct 4, 2019Updated 6 years ago
- Web app to design circuit schematics.☆20Jul 14, 2017Updated 8 years ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆58Apr 1, 2024Updated last year
- ☆49Jan 11, 2019Updated 7 years ago
- Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability☆62Sep 4, 2019Updated 6 years ago
- Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)☆16Nov 10, 2020Updated 5 years ago
- GDB plugin to dump SECCOMP rules set via prctnl(PR_SET_SECCOMP, SECCOMP_MODE_FILTER)☆22Mar 13, 2016Updated 10 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆102Jul 14, 2022Updated 3 years ago
- ☆37Jun 1, 2022Updated 3 years ago
- Source code of ASAN--☆104Jun 18, 2024Updated last year
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Feb 19, 2020Updated 6 years ago
- Basic LLVM passes☆17Oct 7, 2018Updated 7 years ago
- Fast TLB simulator for RISC-V systems☆16May 16, 2019Updated 6 years ago
- A Refcount-guided Fuzzer for Exposing Temporal Memory Errors in Linux Kernel☆30Jun 24, 2025Updated 8 months ago
- Advanca is now Automata.☆12Feb 13, 2021Updated 5 years ago