bugst Icon

bugst

alpha

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

Add a Review
1 Download (This Week)
Last Update:
Download Benchmarks.zip
Browse All Files
Windows

Description

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

Categories

Testing

License

Public Domain

KEEP ME UPDATED

Write a Review

User Reviews

Be the first to post a review of bugst!

Additional Project Details

Intended Audience

Science/Research

User Interface

Command-line

Programming Language

C++

Registered

2012-06-02

Thanks for helping keep SourceForge clean.

Screenshot instructions:
Windows
Mac
Red Hat Linux   Ubuntu

Click URL instructions:
Right-click on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies
X

Briefly describe the problem (required):

Upload screenshot of ad (required):
Select a file, or drag & drop file here.

Please provide the ad click URL, if possible:

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

No, thanks