Clang Static Analyzer with use-after-free and double-free checkers
☆15Jul 24, 2015Updated 10 years ago
Alternatives and similar repositories for Clang-Static-Analyzer-Checkers
Users that are interested in Clang-Static-Analyzer-Checkers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆35Jul 4, 2017Updated 8 years ago
- This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…☆12Feb 22, 2026Updated last month
- A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.☆20May 13, 2018Updated 7 years ago
- ☆29Jan 15, 2026Updated 3 months ago
- Clang plugin with several static analysis checks☆28Jul 16, 2025Updated 9 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A security-first linter for code that shouldn't need linting☆18Sep 12, 2023Updated 2 years ago
- 基于clang static analyzer的源码漏洞检测插件☆199May 8, 2019Updated 6 years ago
- A use-after-free checker based on SVF.☆21Nov 29, 2017Updated 8 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?☆29Jul 24, 2023Updated 2 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Feb 18, 2020Updated 6 years ago
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆36Oct 9, 2022Updated 3 years ago
- Hair Color Change Using Pytorch Model☆25Jul 11, 2024Updated last year
- CSCS Scripting Language Implemented in C++☆11Mar 5, 2017Updated 9 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Clang static checker that carries out tainting analysis.☆88Mar 25, 2018Updated 8 years ago
- ☆11Dec 12, 2021Updated 4 years ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- Trigger-only for CVE-2021-29627☆13Apr 12, 2021Updated 5 years ago
- Collection of errata for book Aarne Ranta, Implementing Programming Languages☆12Nov 13, 2025Updated 5 months ago
- A Docker container for Cowrie - SSH honeypot based on kippo☆11Jun 1, 2015Updated 10 years ago
- typing haskell in haskell☆18Sep 22, 2022Updated 3 years ago
- A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.☆58Jan 5, 2019Updated 7 years ago
- ☆26Sep 21, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Awesome Agda Programming☆19Sep 22, 2025Updated 6 months ago
- Lox language interpreter written in Rust☆20Oct 24, 2024Updated last year
- Python port of Boilerpipe library☆16Apr 6, 2018Updated 8 years ago
- An On-The-Cloud free "greybox" box scanner for various purposes.☆14Nov 21, 2017Updated 8 years ago
- a simple programming language under development☆11Dec 3, 2023Updated 2 years ago
- CUDA C simple application for Nvidia's GPU☆11Jun 7, 2022Updated 3 years ago
- ☆13Apr 30, 2024Updated last year
- correlate an SPI capture of an AMD boot procedure to the PSP firmware components☆15Jan 13, 2026Updated 3 months ago
- Slicing tool for c++ programs using clang AST.☆18Mar 8, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An interpreter for the While language written in Haskell☆14Mar 26, 2020Updated 6 years ago
- Concurrent network scanner for CVE-2015-1635☆10Dec 7, 2017Updated 8 years ago
- XPN's RpcEnum but based on IDA instead of Ghidra☆21Aug 17, 2019Updated 6 years ago
- ☆24Jun 12, 2023Updated 2 years ago
- Modern Compiler Implementation in ML, in Haskell☆22May 29, 2021Updated 4 years ago
- 洛佳的异步内核实验室，第二版☆13Jul 16, 2021Updated 4 years ago
- 棒棒哒攻略：Developer's Technical Documents, API References, Code Examples, Quick Starts, Programming minutebooks, and Tutorials. https://aweso…☆12Apr 17, 2019Updated 7 years ago