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

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

Data Flow Analysis and Static Single Assignment

Compiler Course

static analysis of C/C++ code

Static Value-Flow Analysis Framework for Source Code

Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev14.

KLEE Symbolic Execution Engine

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

CREST is a concolic test generation tool for C.

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

The Whiley Compiler (WyC)

Dataflow Analysis with LLVM