☆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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 基于PIn动态插桩框架的函数-循环嵌套关系分析工具：function-loop call graph profiler using Pin (Unofficial implementation of paper: Identifying Potential Parallel…☆13Sep 6, 2019Updated 6 years ago
- Implement CollAFL using LLVM LTO pass on afl++.☆12Sep 24, 2020Updated 5 years ago
- RocketChip RoCC Accelerator template (Risc-V, Chisel )(加速器开发项目框架)☆15Sep 5, 2019Updated 6 years ago
- Symbolic debugging tool using JonathanSalwan/Triton☆25Oct 24, 2018Updated 7 years ago
- A points-to and alias analysis benchmark suite☆42Sep 24, 2018Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Efficient Path Profiling using LLVM☆19Oct 25, 2017Updated 8 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- ☆63Updated this week
- implementing collafl☆27Mar 18, 2020Updated 6 years ago
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Jun 3, 2016Updated 10 years ago
- VeriBetrKV OSDI'20 artifact☆13Sep 5, 2020Updated 5 years ago
- ☆13Mar 1, 2020Updated 6 years ago
- Slow llvm tracing for the masses☆14Feb 22, 2020Updated 6 years ago
- ☆35Nov 11, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- PET: Optimizing Tensor Programs with Partially Equivalent Transformations and Automated Corrections☆126Jun 23, 2022Updated 3 years ago
- Cluster simulator with far memory☆12Apr 28, 2020Updated 6 years ago
- INTEL PIN dbi based process tracer☆19Jun 25, 2020Updated 5 years ago
- A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves☆29Feb 25, 2021Updated 5 years ago
- ☆26Oct 4, 2018Updated 7 years ago
- PoC Exploit for AOSP UserDictionary Content Provider (CVE-2018-9375)☆21Mar 2, 2019Updated 7 years ago
- A demo of Flush-Reload style Side-channel attack.☆10Feb 20, 2019Updated 7 years ago
- ☆15Feb 27, 2019Updated 7 years ago
- predicate scientific program performance model using llvm☆27Jun 12, 2015Updated 11 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.
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 3 years ago
- generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema) 二进制或者源码转CGF& DFG☆42Sep 16, 2019Updated 6 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆177Apr 19, 2024Updated 2 years ago
- This project includes a simulator and workload generator for Edge-to-Cloud environments. Users can implement different scenarios, includi…☆16Aug 7, 2024Updated last year
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆56Jun 6, 2021Updated 5 years ago
- ☆29May 16, 2022Updated 4 years ago
- Pointer Analysis with Tunable Precision☆28Mar 23, 2016Updated 10 years ago
- ☆11Sep 22, 2017Updated 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.
- 20 benchmark programs☆54Mar 17, 2021Updated 5 years ago
- FuZZan: Efficient Sanitizer Metadata Design for Fuzzing☆126Mar 31, 2021Updated 5 years ago
- vector multiplication adder accelerator (using chisel 3 and RocketChip RoCC ) 向量乘法累加加速器☆54Apr 6, 2020Updated 6 years ago
- A domain-specific language (DSL) based on Triton but providing higher-level abstractions.☆183Updated this week
- Slice-aware Memory Management - Exploiting NUCA Characteristic of LLC in Intel Processors☆40May 20, 2019Updated 7 years ago
- Example of opencl on android. Edit from this bolg: http://developer.sonymobile.com/2013/10/29/boost-the-performance-of-your-android-app-w…☆12Mar 31, 2014Updated 12 years ago
- Top-Level Project for Firebox SoC, consisting of Rocket, BOOM, and peripherals (e.g. Ethernet NIC). This is the default target generator …☆56Nov 24, 2019Updated 6 years ago