9 Commits

Author	SHA1	Message	Date
Tamas Vajk	669e207600	Fix sign analysis expected file	2021-01-27 16:40:56 +01:00
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
Anders Schack-Mulligen	c027f3bd2b	Merge pull request #4324 from tamasvajk/feature/unsigned-sign-analysis ... Handle unsigned types in sign analysis (C# and Java)	2020-10-01 15:11:49 +02:00
Tamas Vajk	2bbaa4e173	Handle unsigned types in sign analysis (C# and Java)	2020-09-28 14:46:32 +02:00
Tamas Vajk	77bb1b2cd9	C#: Extract constant value of enum member equal clauses	2020-09-28 11:04:22 +02:00
Tamas Vajk	48bf6d55aa	C#: Add implicit cast from array to pointer	2020-09-23 17:21:38 +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