Popular repositories Loading

1. CDA CDA Public

   Analysis of weak and strong control closure (closure of control dependency relation)

   C++ 1

2. clang clang Public

   Forked from llvm-mirror/clang

   Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.

   C++

3. Racer Racer Public

   Racer detects statically potential data race between two tasks running simultaneously.

   C++ 1

4. MHP MHP Public

   This tool analyzes the high-level design of a parallel application in which parallelism is expressed using task graphs. It generates the may-happen-in-parallel facts of tasks by applying dataflow a…

   Prolog

5. DVA104 DVA104 Public

6. remassert remassert Public

   Removing assertions from C Code

   C++