An automatic API misuse checker for C programs!
☆19Apr 3, 2019Updated 6 years ago
Alternatives and similar repositories for IMChecker
Users that are interested in IMChecker are comparing it to the libraries listed below
Sorting:
- ☆10Aug 16, 2012Updated 13 years ago
- Tool for effective and efficient detection of API misuses.☆11May 20, 2022Updated 3 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Nov 5, 2021Updated 4 years ago
- code2vec: Learning Distributed Representations of Code☆14Jun 27, 2018Updated 7 years ago
- A C/C++ dependency scanner☆41Nov 24, 2023Updated 2 years ago
- PyCes (Python Code Scanner) - Enhanced Security Static Analysis Tool for Python☆11Apr 18, 2019Updated 6 years ago
- Error-Log Statement Placement by Deep Understanding of Log Intention☆24Dec 23, 2020Updated 5 years ago
- This is java implementation of Graspan.☆20Dec 20, 2023Updated 2 years ago
- a CIL-based dynamic symbolic execution (DSE) engine for C language☆10Jan 23, 2015Updated 11 years ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆25Sep 5, 2021Updated 4 years ago
- User Guided API Misuse Detection☆30Dec 9, 2022Updated 3 years ago
- Charter, TSC, and other governance documents.☆15Mar 13, 2024Updated last year
- ☆25Oct 13, 2020Updated 5 years ago
- ☆59Dec 8, 2023Updated 2 years ago
- Flow analysis using Soot☆52Jun 12, 2020Updated 5 years ago
- Tool for detecting error handling bugs☆23Sep 11, 2016Updated 9 years ago
- Basic Gradle configuration and example drivers to get started with WALA☆29Dec 2, 2024Updated last year
- ☆14Mar 12, 2023Updated 2 years ago
- ☆10Jul 10, 2021Updated 4 years ago
- A composite action that loads and applies hashicorp vault secrets as kubernetes secret and configmap resources☆18Oct 31, 2024Updated last year
- Spinbox extension for customtkinter (add-on)☆10Jun 4, 2024Updated last year
- This repository is the code implementing some classic algorithms in co-location pattern minning.☆13May 9, 2014Updated 11 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆93May 24, 2024Updated last year
- A plugin for code generation in PyCharm/IntelliJ using tranX☆36Sep 22, 2025Updated 5 months ago
- Code for the paper - Source Code Vulnerability Detection: Combining Code Language Models and Code Property Graph☆96Apr 21, 2024Updated last year
- http://www.dcjingsai.com/common/cmpt/公交线路准点预测_排行榜.html☆10Aug 28, 2018Updated 7 years ago
- Migrates Crossplane YAML manifests to new formats☆11Jan 24, 2024Updated 2 years ago
- [ICSE '25] LLM Based Input Space Partitioning Testing for Library APIs☆13Jul 27, 2025Updated 7 months ago
- A cross platform manga/doujinshi manager with namespace & tag support☆10Oct 10, 2021Updated 4 years ago
- MediaPipeのFaceMesh検出を用いて、虹彩部分に写輪眼(©NARUTO -ナルト-)を表示するプログラム☆11Apr 16, 2022Updated 3 years ago
- Combined InstantID🔥 and FouriScale to generate high resolution image!☆11Apr 3, 2024Updated last year
- Grab some/all of CodeQL CLI binary, QL library, VSCode starter workspace, VSCode and VSCode QL extension☆11Jun 12, 2025Updated 8 months ago
- COVA - A static analysis tool to compute path conditions☆40Jul 12, 2025Updated 7 months ago
- PyQt thread which overlays the translucent loading screen with label on the whole window like some generic application loading screen.☆12Feb 4, 2022Updated 4 years ago
- A simple led indicator for PyQt5☆11Sep 15, 2017Updated 8 years ago
- The repository for the LUCAS/Lucify project☆11Apr 4, 2020Updated 5 years ago
- StatisticsView IntelliJ plugin enables logging IDE code browsing activities and shows aggregated statistical information (e.g. accumulate…☆12Aug 16, 2023Updated 2 years ago
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆11May 20, 2019Updated 6 years ago
- A framework to generate unit tests using LLMs☆42Jan 19, 2026Updated last month