pizza / assume

C source code analysis/manipulation toolkit, someday

This URL has Read+Write access

thought more about tracking values; added some c warts
pizza (author)
Wed Jul 01 14:16:58 -0700 2009
commit  917d653d5d6cb4270c7bd0d3f78bc3986beb7da8
tree    b953ba58e8bb86b43666ed1a5f14348e0515ce72
parent  82a5f9987ae82ec9f2f39f984bbd9fb7830bc402
assume /
name age
history
message
file .gitignore Loading commit data...
file README
directory doc/
directory lang/
README
    __ _ ___ ___  _   _   _ __ ___   ___ 
   / _` / __/ __|| | | | | '_ ` _ \ / _ \
  | (_| \__ \__ \| |_| |_| | | | | |  __/
   \__,_|___/___(_)__,_(_)_| |_| |_|\___|

"Testing shows the presence, not the absence, of bugs."
                                -- Edsger W. Dijkstra

Goals

  * Define formal method-style framework for high-level
    programming languages (HLL).
  * Define popular HLL in terms of this framework.
  * Parse programs written in HLLs and validate against
    language definition.
  * Detect defective constructs.
  * Ultimate analyze and improve large codebases written
    in the C programming language.
  
References

  * http://en.wikipedia.org/wiki/Formal_methods
  * http://en.wikipedia.org/wiki/High_level_language