Search Results for "flow"

...The second important goal of Bugst is improving scalability of its libraries to programs used in practice, since experiments performed on such programs usually give solid experimental evidence of practical usability of the evaluated method. Bugst's important content: * lonka - Control-flow graph based program representation. * symtex - Program analysis called Symbolic Execution * cosymtex - Program analysis called Compact Symbolic Execution * segy - Symbolic Memory with pointers and pointer arithmetic * llvm2celllvm - Translates LLVM to constant-expressions-less LLVM. * celllvm2lonka - Translates constant-expressions-less LLVM into Lonka...