5 Commits

Author	SHA1	Message	Date
Tom Hvitved	2af7e1c213	C#: Use CFG nodes instead of AST nodes in sign/modulus analysis	2020-10-14 13:39:44 +02:00
Tom Hvitved	f1d6f7cd0c	C#: Model assertions in the CFG	2020-10-02 17:56:41 +02:00
Tamas Vajk	2bbaa4e173	Handle unsigned types in sign analysis (C# and Java)	2020-09-28 14:46:32 +02:00
Tom Hvitved	06dbec78f7	C#: Add Guard::controlsBasicBlock() and simplify Guard::isEquality()	2020-09-21 16:15:12 +02:00
Tamas Vajk	8bf4a4209c	C#: Sign analysis ... Synced between Java and C# through `identical-files.json`.	2020-09-21 16:15:12 +02:00