import System.Environment ( getArgs )

import Data.LLVM.Analysis.PointsTo.Andersen
import Data.LLVM

main :: IO ()
main = do
  [ fname ] <- getArgs
  Right m <- parseLLVMBitcodeFile defaultParserOptions fname
  let a = runPointsToAnalysis m
  putStrLn $ show a

import System.Environment ( getArgs )

import Data.LLVM.Analysis.PointsTo.Andersen
import Data.LLVM.ParseBitcode

main :: IO ()
main = do
  [ fname ] <- getArgs
  mm <- parseLLVMBitcodeFile defaultParserOptions fname
  case mm of
    Left err -> putStrLn err
    Right m -> do
      let a = runPointsToAnalysis m
      viewPointsToGraph a
      return ()

Add a test driver for the Andersen analysis
Add a test driver for the Andersen analysis
