pizza / assume

C source code analysis/manipulation toolkit, someday

This URL has Read+Write access

added some stuff to values document
pizza (author)
Tue Jun 30 21:47:30 -0700 2009
commit  82a5f9987ae82ec9f2f39f984bbd9fb7830bc402
tree    84a866405616109e58ad70e654b6312f43d71535
parent  44f987cb1df09b34836bd34dd46d217219f36ce9
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