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".

Implemented with Monads. User must implement their custom lattice and transfer functions, like the illustration below shows.

An example analysis and optimizer for live variable analysis can be found in LiveVariable.hs, just load it in ghci and call test1.

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
images		images
Analysis.hs		Analysis.hs
BasicTypes.hs		BasicTypes.hs
Environment.hs		Environment.hs
Lattice.hs		Lattice.hs
LiveVariale.hs		LiveVariale.hs
Optimize.hs		Optimize.hs
README.md		README.md
Sign.hs		Sign.hs
TransferFunction.hs		TransferFunction.hs
WhileLangAst.hs		WhileLangAst.hs