Alternatives and similar repositories for codehint:

Users that are interested in codehint are comparing it to the libraries listed below

• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• soundiness / soundiness.github.io
  ☆11Updated 2 months ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• jjhenkel / code-vectors-artifact
  Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"
  ☆22Updated 4 years ago
• dblotsky / stringfuzz
  Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
  ☆20Updated 3 years ago
• WaliDev / WALi-OpenNWA
  Home for the WALi weighted automaton library and OpenNWA nested-word automaton library
  ☆18Updated 6 years ago
• osl / concolic-walk
  Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.
  ☆14Updated 10 years ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆31Updated 5 months ago
• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 9 years ago
• travitch / llvm-analysis
  A library for analyzing LLVM bitcode in Haskell
  ☆43Updated 10 years ago
• SRA-SiliconValley / jalangi
  Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2
  ☆123Updated 9 years ago
• columbia / woodpecker
  Woodpecker: Verifying systems rules using rule-directed symbolic execution
  ☆12Updated 8 years ago
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 3 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• isstac / badger
  ☆20Updated 6 years ago
• boogie-org / symbooglix
  Symbolic Execution Engine for Boogie
  ☆29Updated 3 years ago
• tingsu / caut-lib
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Updated 10 years ago
• klee / klee-uclibc
  KLEE's version of uClibc
  ☆52Updated 10 months ago
• codelion / pa.llvm
  Program Analysis for LLVM
  ☆36Updated 8 years ago
• martinschaef / bixie
  Inconsistent Code Detection for Java
  ☆11Updated 4 years ago
• ucla-pls / jreduce
  JReduce is a tool to reduce Java ByteCode
  ☆12Updated 3 years ago
• ftsrg / seviz
  SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation
  ☆20Updated 9 years ago
• jieyu / concurrency-bugs
  A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…
  ☆60Updated 11 years ago
• jku-ssw / gcc-builtin-study
  ☆12Updated 5 years ago
• ProgramRepair / SearchRepair
  The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)
  ☆26Updated 6 years ago
• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 3 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated 8 months ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆14Updated 9 years ago
• smtlib / jSMTLIB
  jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…
  ☆26Updated 2 years ago
• jirislaby / LLVMSlicer
  Static Slicer for LLVM
  ☆66Updated 9 years ago