☆34Jun 20, 2023Updated 2 years ago
Alternatives and similar repositories for Spindle
Users that are interested in Spindle are comparing it to the libraries listed below
Sorting:
- Implement CollAFL using LLVM LTO pass on afl++.☆12Sep 24, 2020Updated 5 years ago
- Symbolic debugging tool using JonathanSalwan/Triton☆25Oct 24, 2018Updated 7 years ago
- A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves☆29Feb 25, 2021Updated 5 years ago
- A points-to and alias analysis benchmark suite☆41Sep 24, 2018Updated 7 years ago
- Cluster simulator with far memory☆12Apr 28, 2020Updated 5 years ago
- ☆13Mar 1, 2020Updated 6 years ago
- ☆34Nov 11, 2021Updated 4 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- Fuzzing with controlled compilation☆31Apr 7, 2023Updated 2 years ago
- This project includes a simulator and workload generator for Edge-to-Cloud environments. Users can implement different scenarios, includi…☆15Aug 7, 2024Updated last year
- 基于PIn动态插桩框架的函数-循环嵌套关系分析工具：function-loop call graph profiler using Pin (Unofficial implementation of paper: Identifying Potential Parallel…☆14Sep 6, 2019Updated 6 years ago
- INTEL PIN dbi based process tracer☆19Jun 25, 2020Updated 5 years ago
- Slow llvm tracing for the masses☆14Feb 22, 2020Updated 6 years ago
- RocketChip RoCC Accelerator template (Risc-V, Chisel )(加速器开发项目框架)☆15Sep 5, 2019Updated 6 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 2 years ago
- ☆15Feb 27, 2019Updated 7 years ago
- A faster,smaller,Address Sanitizer,200X Faster,95% Smaller.☆18Jan 4, 2022Updated 4 years ago
- PoC Exploit for AOSP UserDictionary Content Provider (CVE-2018-9375)☆21Mar 2, 2019Updated 7 years ago
- ☆18Sep 4, 2023Updated 2 years ago
- ☆21Feb 15, 2022Updated 4 years ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆177Apr 19, 2024Updated last year
- Efficient Path Profiling using LLVM☆18Oct 25, 2017Updated 8 years ago
- A framework to test the correctness of the Linux kernel patch.☆22Sep 29, 2023Updated 2 years ago
- Getting Starting with NIMBUS-CORE☆10Dec 16, 2023Updated 2 years ago
- ☆22Oct 24, 2020Updated 5 years ago
- 20 benchmark programs☆52Mar 17, 2021Updated 4 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆56Jun 6, 2021Updated 4 years ago
- ☆25Oct 4, 2018Updated 7 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆22Jul 5, 2017Updated 8 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆102Jul 14, 2022Updated 3 years ago
- Pointer Analysis with Tunable Precision☆28Mar 23, 2016Updated 9 years ago
- predicate scientific program performance model using llvm☆27Jun 12, 2015Updated 10 years ago
- Assorted pintools☆30Mar 30, 2020Updated 5 years ago
- FuZZan: Efficient Sanitizer Metadata Design for Fuzzing☆125Mar 31, 2021Updated 4 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆36May 5, 2021Updated 4 years ago
- Forecasting Malware Capabilities From Cyber Attack Memory Images☆34Jan 9, 2023Updated 3 years ago
- The shared memory version of the Alternating Directions Implicit Solver for Isogeometric Analysis☆10Jan 26, 2019Updated 7 years ago
- Tigon: A Distributed Database for a CXL Pod [OSDI '25]☆45Nov 25, 2025Updated 3 months ago
- Prefetching and efficient data path for memory disaggregation☆69Jul 16, 2020Updated 5 years ago