The BOOP Toolkit uses abstraction and refinement to determine the reachability of program points in a C program.

Project Activity

See All Activity >

Categories

Debuggers

License

GNU General Public License version 2.0 (GPLv2)

Follow The BOOP Toolkit

The BOOP Toolkit Web Site

Other Useful Business Software
Error to trace to log to deploy. One click. No SSH. Icon
Error to trace to log to deploy. One click. No SSH.

Catch the cause before the pager goes off.

AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
Free 30 days.
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of The BOOP Toolkit!

Additional Project Details

Operating Systems

BSD, Linux

Languages

English

Intended Audience

Science/Research

Programming Language

C

Related Categories

C Debuggers

Registered

2003-03-24