automatic data race analysis for Linux device drivers
☆12Jul 27, 2016Updated 10 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 9 years ago
- Pointer analysis prototype (currently including anderson, steensgard).☆17Dec 20, 2021Updated 4 years ago
- ☆17Sep 20, 2019Updated 6 years ago
- data race detection☆14Jun 18, 2016Updated 10 years ago
- A data race detector for C+Pthreads programs☆13Nov 8, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Source code release for the KRace project☆32Nov 15, 2021Updated 4 years ago
- Sample code for ret2usr (and ret2dir) kernel attacks☆10Nov 23, 2016Updated 9 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
- Anderson points-to analysis implementation based on LLVM☆12Jan 3, 2021Updated 5 years ago
- ☆13Aug 9, 2023Updated 3 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☆22Oct 5, 2022Updated 3 years ago
- ☆10Jun 13, 2014Updated 12 years ago
- TFA project for indirect call analysis☆13Mar 13, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ARP攻击的原理与实现.☆11Apr 7, 2019Updated 7 years ago
- A portable utility to locate android binder service☆100Sep 28, 2019Updated 6 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
- ☆29Apr 16, 2015Updated 11 years ago
- ☆11Aug 21, 2018Updated 7 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
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Feb 18, 2020Updated 6 years ago
- ☆21Dec 9, 2023Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆37Dec 16, 2021Updated 4 years ago
- a data collection of related work: Toward Understanding Deep Learning Framework Bugs☆18Oct 23, 2023Updated 2 years ago
- Implementation of the unary leapfrog join for efficient intersection of sorted sets.☆10Dec 4, 2019Updated 6 years ago
- A collection of shader compiler bugs.☆50Mar 21, 2018Updated 8 years ago
- open source version of matrix online programming learning system☆13Dec 15, 2016Updated 9 years ago
- Android Library Code Recognition☆85Apr 27, 2024Updated 2 years ago
- a small crontab deploy/install tool for python☆12Apr 4, 2017Updated 9 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- crc patcher for kernel modules☆12Apr 15, 2016Updated 10 years ago
- A Computational Graph Generator for AI Compiler Fuzzing☆16May 31, 2023Updated 3 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 8 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
- ☆15Oct 31, 2013Updated 12 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