Popular repositories

1. call-graph-toolbox call-graph-toolbox Public

   A toolbox with several call graph construction algorithm implementations

   HTML 18 5

2. android-essentials-toolbox android-essentials-toolbox Public

   A set of building blocks for analyzing Android apps with Atlas

   HTML 14 5

3. slicing-toolbox slicing-toolbox Public

   A toolbox for program slicing

   HTML 3

4. Starter-Toolbox Starter-Toolbox Public

   An example starter framework for creating an analysis toolbox

   Java 2 3

5. points-to-toolbox points-to-toolbox Public

   An Atlas native points-to analysis implementation and utility toolbox

   HTML 2

6. immutability-toolbox immutability-toolbox Public

   A toolbox for experimenting with immutability analysis

   HTML 2 1