Inconsistent Code Detection for Java
☆11Nov 3, 2020Updated 5 years ago
Alternatives and similar repositories for bixie
Users that are interested in bixie are comparing it to the libraries listed below
Sorting:
- Inconsistent code detection for Java.☆14Jan 26, 2018Updated 8 years ago
- A tool for learning bug patterns.☆11Jul 19, 2016Updated 9 years ago
- An extension to the Java type system to catch badly-behaving builder patterns☆11Feb 13, 2023Updated 3 years ago
- Graph-based incremental static analysis of ECMAScript 6 source code repositories☆20Feb 18, 2018Updated 8 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Jun 5, 2020Updated 5 years ago
- Static checker for Java☆87Jan 16, 2025Updated last year
- An automatic testing tool for Java software☆25May 21, 2018Updated 7 years ago
- ☆11Jul 26, 2022Updated 3 years ago
- A visual testing tool to compare two web pages visually and generate the pixel difference they have.☆16Dec 14, 2015Updated 10 years ago
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 7 years ago
- A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.☆11Jul 25, 2016Updated 9 years ago
- Implementation of TraFix (automatic trainable decompiler based on NMT) as published in ArXiv☆40Nov 23, 2019Updated 6 years ago
- Tools for type annotations in Java☆40Jul 10, 2025Updated 7 months ago
- A Prototype of Sapienz (Out-of-date and no longer supported)☆80Aug 27, 2017Updated 8 years ago
- Python bindings for Shimple/Jimple IR from Soot.☆43Feb 5, 2026Updated 3 weeks ago
- A reputation system for HumHub☆10Feb 11, 2017Updated 9 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- Tool for Change Impact Analysis in JavaScript Web Applications☆10Sep 12, 2014Updated 11 years ago
- A parallel multi-core system emulator based on QEMU☆19Jun 26, 2012Updated 13 years ago
- An API server for Hackaru☆12Nov 18, 2022Updated 3 years ago
- Reusable playing cards library for Rust.☆10Oct 1, 2019Updated 6 years ago
- Compiler Fingerprinting☆14Apr 24, 2015Updated 10 years ago
- A java library to compute the difference between XML files☆14Oct 23, 2009Updated 16 years ago
- When you want to speak to the manager.☆14Sep 18, 2025Updated 5 months ago
- Tools that run inside the guest☆11Jan 2, 2020Updated 6 years ago
- A library for parsing security advisories☆13Feb 5, 2026Updated 3 weeks ago
- ChangeScribe is an Eclipse plugin for generating commit messages (a.k.a., commit logs, commit notes) automatically. ChangeScribe uses as …☆10Jan 26, 2023Updated 3 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 years ago
- Build components for CloudMan, Galaxy on the Cloud, or Galaxy Server☆20Jun 27, 2017Updated 8 years ago
- Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."☆10Nov 26, 2022Updated 3 years ago
- evolution of extant software☆24Jan 24, 2018Updated 8 years ago
- Vecino is a command line application to discover Git repositories which are similar to the one that the user provides.☆49Aug 20, 2019Updated 6 years ago
- anything developer relations at npm☆11Feb 18, 2019Updated 7 years ago
- POV templates and compilation support for CGC binaries.☆10May 19, 2022Updated 3 years ago
- Framework that implements code offloading with annotations based on Android☆11Sep 24, 2016Updated 9 years ago
- A tool which tries to map CVEs from NVD to packages in supported ecosystems (Maven, NPM, PyPI).☆12Jul 12, 2025Updated 7 months ago
- A tool to check for potential open source licensing problems.☆12Aug 17, 2016Updated 9 years ago
- ☆12Nov 2, 2015Updated 10 years ago
- A (Miasm2 + binaryninja) based function divination.☆15Oct 22, 2017Updated 8 years ago