k-cfa

There are 0 repository under k-cfa topic.

• ilyasergey / reachability

  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language

  abstract-garbage-collectioncontrol-flow-analysisk-cfapushdown-automatonscheme
  Language:Scala 30

• ilyasergey / monadic-cfa

  Generic implementation of different CFA families based on monadic decomposition

  abstract-interpretationhaskellk-cfamonadsstatic-analysis
  Language:Haskell 21