pizza / assume

C source code analysis/manipulation toolkit, someday

assume / README
100644 25 lines (18 sloc) 0.75 kb
raw blame history 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

    __ _ ___ ___  _   _   _ __ ___   ___ 
   / _` / __/ __|| | | | | '_ ` _ \ / _ \
  | (_| \__ \__ \| |_| |_| | | | | |  __/
   \__,_|___/___(_)__,_(_)_| |_| |_|\___|
 
"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