Tool for analyzing git log messages and diffs.
☆22Jan 13, 2021Updated 5 years ago
Alternatives and similar repositories for gitcproc
Users that are interested in gitcproc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Database smell detector☆13Jan 24, 2018Updated 8 years ago
- ☆12Apr 12, 2024Updated 2 years ago
- ☆20Nov 6, 2019Updated 6 years ago
- ☆17Apr 28, 2026Updated 2 months ago
- IDAPython compatibility library. idasix aims to create a smooth ida development process and allow a single codebase to function with mult…☆25Aug 2, 2018Updated 7 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.
- ☆43Jun 14, 2022Updated 4 years ago
- ☆19Dec 19, 2019Updated 6 years ago
- IST'21 & SANER'22: Semantic-Preserving Program Transformations☆31Oct 25, 2022Updated 3 years ago
- A Scrapy-based crawler for crawling Exploit Database☆12Jan 6, 2019Updated 7 years ago
- Experimental bed to study Linux faults☆26Jul 12, 2022Updated 3 years ago
- ☆13May 19, 2024Updated 2 years ago
- Lightweight C++ API for Lua☆26Feb 1, 2026Updated 4 months ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆36May 5, 2021Updated 5 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Jun 5, 2020Updated 6 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.
- Graph the dependencies of your repositories☆18Jan 16, 2019Updated 7 years ago
- View the dependencies of your repositories.☆11Nov 8, 2022Updated 3 years ago
- hardening-check from debian checks binarys for Pie (Position Independent Executeable), Stack protection, fortify source and immediate bin…☆12Sep 12, 2016Updated 9 years ago
- Gadget displacement on top of IPR (In-Place Randomization) against Code Reuse Attack☆26May 31, 2016Updated 10 years ago
- ☆23Nov 16, 2023Updated 2 years ago
- ☆11Jul 20, 2021Updated 4 years ago
- UIKit tools built with the theos build system☆16Feb 6, 2017Updated 9 years ago
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆19Sep 5, 2014Updated 11 years ago
- a tool for detecting code smells in Python code☆21Jul 6, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Make systemd's PID 1 in WSL☆12Jun 26, 2020Updated 6 years ago
- Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).☆35Oct 23, 2017Updated 8 years ago
- Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs☆16Nov 7, 2022Updated 3 years ago
- Tree-based Autofolding Software Summarization Algorithm☆43Jul 30, 2016Updated 9 years ago
- ☆25Feb 21, 2019Updated 7 years ago
- because playing with bcctools on macOS is a PITA☆13Jan 4, 2021Updated 5 years ago
- A solution for nested array in bash☆10Apr 23, 2013Updated 13 years ago
- ☆12May 6, 2020Updated 6 years ago
- ☆19Dec 16, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A suite of simple programs to test Intels' TSX extension☆14May 13, 2017Updated 9 years ago
- ☆26Oct 13, 2015Updated 10 years ago
- CTL (Computation Tree Logic) SAT solver☆15Feb 10, 2020Updated 6 years ago
- ☆68May 5, 2021Updated 5 years ago
- Tools for analysing results produced by the llvm-xray instrumentation☆16Jan 15, 2021Updated 5 years ago
- Deadline countdowns for academic conferences relevant to the SSE chair.☆13Updated this week
- A fuzzy parser for C/C++ that creates semantic code property graphs☆36Oct 15, 2020Updated 5 years ago