Automatically exported from code.google.com/p/type-inference
☆27Jan 22, 2019Updated 7 years ago
Alternatives and similar repositories for type-inference
Users that are interested in type-inference are comparing it to the libraries listed below
Sorting:
- Java bytecode generator for sound and precise partial program analysis☆24Jun 4, 2021Updated 4 years ago
- A points-to and alias analysis benchmark suite☆41Sep 24, 2018Updated 7 years ago
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Mar 10, 2018Updated 7 years ago
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 years ago
- A list of bugs found by SQLancer☆17Jan 30, 2024Updated 2 years ago
- ☆12Jul 3, 2019Updated 6 years ago
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 6 months ago
- Interprocedural Distributive Environment algorithm implementation☆16Jul 16, 2015Updated 10 years ago
- Haskell implementation of P4F Control-Flow Analysis☆21Jun 4, 2022Updated 3 years ago
- Home for the WALi weighted automaton library and OpenNWA nested-word automaton library☆17Nov 28, 2018Updated 7 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Nov 24, 2015Updated 10 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆41Jul 8, 2021Updated 4 years ago
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 12 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆63Oct 19, 2017Updated 8 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆33Jul 6, 2019Updated 6 years ago
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆27Jun 7, 2025Updated 8 months ago
- Java taint propagation for java. Define tainted sources, sanitizer methods and sinks via aspects.☆28Oct 11, 2018Updated 7 years ago
- FoRTE-Research's fuzzing benchmarks☆57Mar 12, 2019Updated 6 years ago
- This is a C++ implementation of Graspan.☆32Dec 20, 2023Updated 2 years ago
- ☆33Oct 15, 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
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 7 years ago
- CCG is a random C Code Generator☆44Sep 11, 2022Updated 3 years ago
- Finding and Understanding Conflicts Between JavaScript Libraries☆40Jan 17, 2022Updated 4 years ago
- Python bindings for Shimple/Jimple IR from Soot.☆43Updated this week
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- Correct, optimized blending of color and alpha channels☆10Jan 30, 2016Updated 10 years ago
- Sydr benchmark applications☆17Jul 25, 2022Updated 3 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- ☆10Feb 20, 2020Updated 6 years ago
- Adds a guard to disable ObjectInputStream.readObject☆11Dec 6, 2015Updated 10 years ago
- A Code Efficiency Benchmark for Code Generation☆13May 26, 2025Updated 9 months ago
- Inferring Strange Behavior from Connectivity Pattern (PAKDD 2014, KAIS 2015)☆11Mar 27, 2015Updated 10 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- evolution of extant software☆24Jan 24, 2018Updated 8 years ago
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- ☆11Nov 22, 2022Updated 3 years ago
- Compiler Fingerprinting☆14Apr 24, 2015Updated 10 years ago