mkechagia / CatcherView external linksLinks
Tool for effective and efficient detection of API misuses.
☆11May 20, 2022Updated 3 years ago
Alternatives and similar repositories for Catcher
Users that are interested in Catcher are comparing it to the libraries listed below
Sorting:
- An automatic API misuse checker for C programs!☆19Apr 3, 2019Updated 6 years ago
- ☆59Dec 8, 2023Updated 2 years ago
- ☆25Oct 13, 2020Updated 5 years ago
- Export Jupyter Notebooks to (Xe)LaTeX with Greek Support☆13Nov 25, 2018Updated 7 years ago
- A graph-based static-dynamic hybrid DEX code analysis tool☆41Apr 29, 2018Updated 7 years ago
- http://www.dcjingsai.com/common/cmpt/公交线路准点预测_排行榜.html☆10Aug 28, 2018Updated 7 years ago
- MuPDF是一个轻量级的PDF,XPS和电子书阅读器。Fork from https://mupdf.com/☆13May 13, 2019Updated 6 years ago
- The repository for the LUCAS/Lucify project☆11Apr 4, 2020Updated 5 years ago
- Linux Desktop Test Project (LDTP) Library for Robot Framework.☆11Aug 3, 2017Updated 8 years ago
- ☆14Jun 5, 2020Updated 5 years ago
- RTS technique for .NET☆12Oct 25, 2021Updated 4 years ago
- my rc files☆12Mar 16, 2016Updated 9 years ago
- ☆12Dec 30, 2022Updated 3 years ago
- ☆11Jan 10, 2024Updated 2 years ago
- android 9.0 silent install demo code (not root)☆11Jun 23, 2022Updated 3 years ago
- ☆17Oct 30, 2023Updated 2 years ago
- 一个简单的pdf在线压缩网站☆11Sep 16, 2021Updated 4 years ago
- A library to facilitate the static analysis of Android apps☆15Jul 22, 2025Updated 6 months ago
- Tarjan's zip trees implemented in Rust☆11May 13, 2024Updated last year
- ☆11Jun 13, 2021Updated 4 years ago
- natural language processing in the browser - i18n☆10Aug 6, 2015Updated 10 years ago
- fuzz testing framework for Linux system calls☆12Sep 4, 2015Updated 10 years ago
- Knower(知者):一个实用的的开源知识库管理平台。基于 Hyperf 实现,集成了权限管理、第三方登录(GitHub、QQ)、企业微信自建应用通知等功能,亦可作为 Hyperf 的开发脚手架。☆12Jan 27, 2022Updated 4 years ago
- ☆11Jul 11, 2023Updated 2 years ago
- Web scraper and analyzer of COVID-related Android apps☆11Sep 12, 2021Updated 4 years ago
- Generate CHANGELOG entries out of commit messages using AI/ML techniques☆11Oct 17, 2023Updated 2 years ago
- Classifier to detect click fraud with online Ads.☆12May 14, 2015Updated 10 years ago
- ☆10Aug 16, 2012Updated 13 years ago
- dc数据竞赛 汽车出行预测☆10Dec 12, 2018Updated 7 years ago
- ☆10Dec 13, 2021Updated 4 years ago
- This is an implementation of the Language Server Protocol for Jimple. It enables your IDE to provide code exploring features while workin…☆12Dec 15, 2023Updated 2 years ago
- MockableJarGenerator☆10Jul 2, 2025Updated 7 months ago
- java学习及找工作记录。包括java基础,并发,数据库,算法,网络,设计模式,spring等参考书籍,jdk1.8源码,demo,笔面试题记录及阿里巴巴java开发手册等☆11Jul 2, 2020Updated 5 years ago
- chinese ner based on rnn☆12Oct 14, 2016Updated 9 years ago
- Capture Project for Securing IoT Firmware Libraries☆11Jun 1, 2021Updated 4 years ago
- Python implementation of Senti4SD☆11Jun 21, 2024Updated last year
- ☆13Dec 23, 2025Updated last month
- Chronos: Zero-Shot Identification of Libraries from Vulnerability Reports (ICSE 2023, Technical Track)☆11Jul 23, 2023Updated 2 years ago
- ☆11Oct 10, 2018Updated 7 years ago