automatic data race analysis for Linux device drivers
☆12Jul 27, 2016Updated 9 years ago
Alternatives and similar repositories for whoop
Users that are interested in whoop are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Main repository for KernelStrider project☆25Aug 8, 2017Updated 8 years ago
- ☆17Sep 20, 2019Updated 6 years ago
- data race detection☆14Jun 18, 2016Updated 9 years ago
- A data race detector for C+Pthreads programs☆12Nov 8, 2022Updated 3 years ago
- Source code release for the KRace project☆31Nov 15, 2021Updated 4 years ago
- Sample code for ret2usr (and ret2dir) kernel attacks☆10Nov 23, 2016Updated 9 years ago
- Anderson points-to analysis implementation based on LLVM☆12Jan 3, 2021Updated 5 years ago
- Correlate NVD datasets wIth CWE/CAPEC/CVSS labels for customised usage. Plus static analysis and data visualisation.☆13Nov 17, 2023Updated 2 years ago
- [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.☆13Jan 5, 2024Updated 2 years ago
- LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs☆21Oct 5, 2022Updated 3 years ago
- ☆10Jun 13, 2014Updated 11 years ago
- ARP攻击的原理与实现.☆11Apr 7, 2019Updated 6 years ago
- A portable utility to locate android binder service☆99Sep 28, 2019Updated 6 years ago
- TFA project for indirect call analysis☆12Mar 13, 2025Updated last year
- ☆12Aug 9, 2023Updated 2 years ago
- The newest version of PatchNet☆14Nov 25, 2022Updated 3 years ago
- some baseline attack method by pytorch☆11Oct 13, 2021Updated 4 years ago
- A Computational Graph Generator for AI Compiler Fuzzing☆16May 31, 2023Updated 2 years ago
- ☆30Apr 16, 2015Updated 10 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Feb 18, 2020Updated 6 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆34Dec 16, 2021Updated 4 years ago
- For our ICSE22 paper "EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries" by Jiannan Wang, Thibaud Lutellier, Shangshu Qia…☆13Aug 16, 2023Updated 2 years ago
- a data collection of related work: Toward Understanding Deep Learning Framework Bugs☆17Oct 23, 2023Updated 2 years ago
- open source version of matrix online programming learning system☆13Dec 15, 2016Updated 9 years ago
- ☆22Dec 9, 2023Updated 2 years ago
- Android Library Code Recognition☆83Apr 27, 2024Updated last year
- A collection of shader compiler bugs.☆50Mar 21, 2018Updated 8 years ago
- Implementation of the unary leapfrog join for efficient intersection of sorted sets.☆10Dec 4, 2019Updated 6 years ago
- a small crontab deploy/install tool for python☆12Apr 4, 2017Updated 8 years ago
- ☆11Aug 21, 2018Updated 7 years ago
- ☆11Nov 1, 2023Updated 2 years ago
- Learning Program Semantics for Vulnerability Detection via Vulnerability-specific Inter-procedural Slicing☆14Aug 21, 2023Updated 2 years ago
- ☆15May 28, 2024Updated last year
- crc patcher for kernel modules☆12Apr 15, 2016Updated 9 years ago
- You can use ropper to display information about files in different file formats and you can find gadgets to build rop chains for differen…☆12Jun 7, 2018Updated 7 years ago
- Tool allows to convert text into Morse code and save to wav file.☆15Oct 17, 2013Updated 12 years ago
- 安全工具、个人作品 Forked from ForrestX386/x386.git☆21Dec 24, 2017Updated 8 years ago
- HTMLTestRunner is an extension to the Python standard library's unittest module. It generates easy to use HTML test reports.☆13Jan 7, 2017Updated 9 years ago
- System using the Analysis Query Language☆14Jun 20, 2022Updated 3 years ago