Support for inline assembler & `goto` instructions in inline assembler#1326

Open

WernerDrasche wants to merge 72 commits intogoblint:masterfrom

Commits on Nov 17, 2023

test
Simon Tietz
committed
Merge branch 'master' of github.com:N0W0RK/goblint-analyzer
Simon Tietz
committed

Commits on Nov 22, 2023

tiny commit so someone else doesn't have to fix compareAST
Simon Tietz
committed
cfg done; indentation complaints but I don't want to fix right now
Simon Tietz
committed

Commits on Nov 25, 2023

only added event type
Simon Tietz
committed
access analysis now emits invalidates
Simon Tietz
committed

Commits on Nov 29, 2023

varEq analysis; invalidation tested
Simon Tietz
committed

Commits on Nov 30, 2023

deadlock done; indentation complaints even after I ran ocp-indent???
Simon Tietz
committed

Commits on Dec 6, 2023

mutexAnalysis done; fileUse buggy but commiting to try earlier commit
Simon Tietz
committed

Commits on Dec 13, 2023

use queries
Simon Tietz
committed

Commits on Dec 14, 2023

warnings + expsplit (todo: ask supervisor about maylocks)
Simon Tietz
committed
this is only there to revert in case the warnings are needed (likely not)
Simon Tietz
committed
ups
Simon Tietz
committed
mallocFresh
ge46lup
committed

Commits on Dec 20, 2023

memLeak; ask supervisor about Multiple query
Simon Tietz
committed
Merge branch 'master' of github.com:N0W0RK/goblint-analyzer
Simon Tietz
committed
Revert "mallocFresh" => revert the revert when it compiles pls
Simon Tietz
committed

Commits on Dec 21, 2023

should have done base earlier; lots of analyses solve themselves
Simon Tietz
committed
malloc Fresh
ge46lup
committed

Commits on Jan 8, 2024

region-analysis
ge46lup
committed

Commits on Jan 9, 2024

i add event function to region and useAfterfree analysis but it doesnt compile
ge46lup
committed

Commits on Jan 11, 2024

Modifes Taint jmpbufs to store if potentially invalid.
N0W0RK
committed
Revert commit that doesn't compile so that we can test
Simon Tietz
committed
Revert "region-analysis" (doesn't compile)
Simon Tietz
committed
changes in region, useAfterFree and taintPartialContexts
ge46lup
committed
my stuff
Simon Tietz
committed
Merge branch 'master' of github.com:N0W0RK/goblint-analyzer
Simon Tietz
committed
init function on malloc_null is never called????????????/
Simon Tietz
committed
my tests, TODO: add annotations
Simon Tietz
committed
bugfix
Simon Tietz
committed
bugfix
Simon Tietz
committed

Commits on Jan 12, 2024

Modifications of Variables by assembly between setjmp and longjmp are now recognized.
N0W0RK
committed
CondVar assumptions about lvals are dropped after clobber by asm.
N0W0RK
committed
CondVar assumptions about lvals are dropped after clobber by asm.
N0W0RK
committed
Merge branch 'master' of github.com:goblint/analyzer
Simon Tietz
committed
Merge branch 'master' of github.com:N0W0RK/goblint-analyzer
Simon Tietz
committed
moved invalidate emit to base
Simon Tietz
committed
maybe like this?
Simon Tietz
committed
I am retarded
Simon Tietz
committed
followed orders
Simon Tietz
committed

Commits on Jan 14, 2024

can one also point to latest commit?
Simon Tietz
committed

Commits on Jan 15, 2024

maybe
Simon Tietz
committed

Commits on Jan 17, 2024

forgot to pull
Simon Tietz
committed
todo: starting at valueDomain.ml (email), wtf should I do in cfgtools
Simon Tietz
committed
went through everything
Simon Tietz
committed

Commits on Jan 23, 2024

Adds initial regression tests
N0W0RK
committed

Commits on Jan 25, 2024

to pull
Simon Tietz
committed
Merge branch 'master' of github.com:N0W0RK/goblint-analyzer
Simon Tietz
committed
tests
Simon Tietz
committed
expsplit-test
Simon Tietz
committed
ups
Simon Tietz
committed
use-after-free-test
Simon Tietz
committed
our tests pass make test (random tests fail though for some reason)
Simon Tietz
committed
mod-since-setjmp-test
Simon Tietz
committed
merge master to see if tests pass now
Simon Tietz
committed
test
Simon Tietz
committed
Removes merge annotation
N0W0RK
committed
Merge branch 'master' of github.com:N0W0RK/goblint-analyzer
Simon Tietz
committed
Fixes Build Error after changes to ctx
N0W0RK
committed
var-eq-test
Simon Tietz
committed
Merge branch 'master' of github.com:N0W0RK/goblint-analyzer
Simon Tietz
committed
uninit-test
Simon Tietz
committed
ups
Simon Tietz
committed
big ups
Simon Tietz
committed

Commits on Feb 1, 2024

bugfixes; mutex-test
Simon Tietz
committed

Commits on Feb 2, 2024

asm tests
ge46lup
committed

Commits on Feb 5, 2024

adding outs ins params makes goblint segfault every time (compiles)
Simon Tietz
committed

Commits on Feb 6, 2024

wtf
Simon Tietz
committed
found bug :) why did ocaml no give a warning?
Simon Tietz
committed
Merge branch 'master' of github.com:N0W0RK/goblint-analyzer
Simon Tietz
committed

Commits on Feb 7, 2024

bugfix
Simon Tietz
committed

Commits on Feb 9, 2024

Refactores regression tests.
N0W0RK
committed