The BOOP Toolkit

  •        0

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

http://boop.sourceforge.net

Tags
Implementation
License
Platform

   

comments powered by Disqus


Related Projects

Bleep-box - bleeps, boops, bips & shwoops


a tiny 8-bit sequencer written for arduino+python. credit to PlayMelody @ http://www.arduino.cc/en/Tutorial/PlayMelody pages what is this thing?

Booplinux - Custom Linux Distribution aimed at PDAs


BoopLinux will snipfloop bedoop your most bodunklerous of minjeralds. And more!

songs - beeps and boops, lyrics, works in progress


beeps and boops, lyrics, works in progress

boop - OOP library extracted from Backbone


OOP library extracted from Backbone

BippetyBoop - Generates random tones with 555 timers. #555contest


Generates random tones with 555 timers. #555contest

betty-boop - Cockney rhyming slang for "totally poop".


Cockney rhyming slang for "totally poop".







Open source products are scattered around the web. Please provide information about the open source projects you own / you use. Add Projects.

Tag Cloud >>