Merge branch 'master' of https://github.com/petergarnaes/software-ana…

…lysis-tool
petergarnaes · Sep 13, 2017 · 10e67e1 · 10e67e1
2 parents 1e82bec + 4ed6c90
commit 10e67e1
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -0,0 +1,11 @@
+# software-analysis-tool
+A basic framework software analysis and optmizer written in Haskell
+
+## Functionality
+This framework can perform basic control flow analysis of an AST representing an imperative programming language called "While".
+
+## Implementation
+Implemented with Monads. User must implement their custom lattice and transfer functions, like the illustration below shows.
+
+# Example use
+An example analysis and optimizer for live variable analysis can be found in `LiveVariable.hs`, just load it in `ghci` and call `test1`.