Do you want to implement your new program analysis quicky? Use bugst!

Add a Review
0 Downloads (This Week)
Last Update:
  Browse Code Git Repository


Bugst is a collection of C++ libraries whose main goal is to shorten development time of experimental tools which are necessary for evaluation of a new program analysis method. Bugst is therefore targeted to students and researchers to support their research by quick development of experiments.

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.
* C benchmarks - A set of small C programs

bugst Web Site




Public Domain

Update Notifications

Write a Review

User Reviews

Be the first to post a review of bugst!

Additional Project Details

Intended Audience


User Interface


Programming Language



Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.