CAST-Generator

[NeoQuix]

New implementation of c -> pycparser AST -> DeWolf AST tool

[NeoQuix]

Closes #38

[NeoQuix]

To do:

• Array handling (decl + ref)
• CaseNodes need the switch condition
• tests casts with typedefs
• test constant types with typedefs
• Add functioncall handler (external + local ones; external not defined via fakelibc)
• add initlist (x = y = ...?) handler
• add struct support (when structs are implemented)
• ternary operator handler (only fancy if?)
• add other unaryop types (sizeof, ++ etc.)

After that refactor some code + add a bit of comments in nodes.txt

[NeoQuix]

Also:

• Zip fake_libc_includes + unzip in script
• check licence for fake_libc_includes

[NeoQuix]

To do:

• reachability
• testing + tests
• disclaimer for everything that is not supported

[NeoQuix]

After much more testing:

• Unary with ++ is pretty annoying (Because ++ is an Assignment)
  ==> To do
• Forgot a few major cases/problems of Conditions
  ==> Need to fix BinaryOperation resolver

[NeoQuix]

To do:

• reachability + tests still
• test conditions a bit more (they should be fine, i think a few cases can still be generated which result in crashes)
  (calls, special unary)