Benjamin Bott

Invalidate variables based on annotations of asm statements

1

Instead of simply ignoring `asm` statements use their annotations to invalidate variables that are potentially modified by them. - https://github.com/goblint/analyzer/commit/e3af268163594212468a490abf9318c10ee9a803 are the changes required to make this compile after the...

Add option to compile and run regression tests to sanity check assertions

1

Adds the new options `-e` and `-eq` to the regression tests that compiles and run the regression tests and then use the actual results of executing the assertions to check...

Add support for parsing `asm goto`

2

Implements parsing of `asm goto` statements for #81 and tracking if a asm statement is basic or advanced as required for my thesis. This change requires https://github.com/bottbenj/analyzer/commit/e3af268163594212468a490abf9318c10ee9a803 in analyzer. This...