venkyjntu-git

venkyjntu-git's Stars

• jwasham/coding-interview-university

  A complete computer science study plan to become a software engineer.

  306k8.8k47276.8k

• apache/spark

  Apache Spark - A unified analytics engine for large-scale data processing

  Language:Scala39.8k2k028.3k

• danmar/cppcheck

  static analysis of C/C++ code

  Language:C++5.8k21201.5k

• klee/klee

  KLEE Symbolic Execution Engine

  Language:C++2.6k107605683

• SVF-tools/SVF

  Static Value-Flow Analysis Framework for Source Code

  Language:C++1.4k57596435

• seahorn/clam

  Static Analyzer for LLVM bitcode based on Abstract Interpretation

  Language:C275137137

• Whiley/WhileyCompiler

  The Whiley Compiler (WyC)

  Language:Java218161.1k36

• jburnim/crest

  CREST is a concolic test generation tool for C.

  Language:C158141650

• nsumner/llvm-dataflow-analysis

  Language:C++623317

• betterenvi/Compiler-DFA-SSA

  Data Flow Analysis and Static Single Assignment

  Language:C27205

• wncc/SoC-Winter

  Checkout some cool self-projects you can try your hands on to curb your boredom this December!

  Language:Python269026

• jarulraj/llvm

  Compiler Course

  Language:C++177110

• osl/concolic-walk

  Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.

  Language:Java148410

• PritamMG/GPG-based-Points-to-Analysis

  Language:C++5402

• ashutosh0gupta/llvm_bmc

  Language:C++3305

• scheah/llvm-dataflow

  Dataflow Analysis with LLVM

  Language:C++3402

• PritamMG/Boost-Serialization-Example

  Language:C++11