NeoQuix

Results 52 comments of NeoQuix

Still a bninja upstream issue. The `outgoing_edges` for the basic block with error are still wrong.

Closes #38

To do: - Array handling (decl + ref) - CaseNodes need the switch condition - tests casts with typedefs - test constant types with typedefs - Add functioncall handler (external...

Also: - Zip fake_libc_includes + unzip in script - check licence for fake_libc_includes

To do: - reachability - testing + tests - disclaimer for everything that is not supported

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...

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)...