master thesis: Taming Recursion with Three Context-Sensitive Analyses (Callstring, LoopfreeCallstring, Context Gas) by SchiJoha · Pull Request #1340 · goblint/analyzer

callstack can be infinite

Johanna Schinabeck
authored and
Johanna Schinabeck
committed
added configs for inf callstack

Johanna Schinabeck
authored and
Johanna Schinabeck
committed

Commits on Feb 11, 2024

changed loopfreeCallstring analysis to have multiple lists and sets, adapted testcases; renamed to loopfree_callstring

Johanna Schinabeck
authored and
Johanna Schinabeck
committed
Merge remote-tracking branch 'upstream/master'

Johanna Schinabeck
authored and
Johanna Schinabeck
committed
deleted context gas from C, is just tracked in ctx.local; updated testcases

Johanna Schinabeck
authored and
Johanna Schinabeck
committed

Commits on Feb 12, 2024

updated testcases loopfreeCallstring + callstring fundec

Johanna Schinabeck
authored and
Johanna Schinabeck
committed

Commits on Feb 19, 2024

disabled witness.yaml because join on loopfreeCallstring-stack is not possible yet

Johanna Schinabeck
authored and
Johanna Schinabeck
committed
Merge branch 'goblint:master' into master
SchiJoha
authored
changed callstring stackheight to 2

Johanna Schinabeck
authored and
Johanna Schinabeck
committed

Commits on Feb 28, 2024

Merge branch 'goblint:master' into master
SchiJoha
authored

Commits on Mar 6, 2024

Merge branch 'goblint:master' into master
SchiJoha
authored

Commits on Mar 7, 2024

loopfree: list of elements -> elements; update comments of examples

Johanna Schinabeck
authored and
Johanna Schinabeck
committed
update g2html and gobview with master

Johanna Schinabeck
authored and
Johanna Schinabeck
committed

Commits on Mar 8, 2024

elegant solution for loopfree callstring

Johanna Schinabeck
authored and
Johanna Schinabeck
committed
updated g2html and gobview

Johanna Schinabeck
authored and
Johanna Schinabeck
committed

Commits on Mar 12, 2024

inf callstack option is now negative callstack height; implemented real call string approach and renamed the other approaches; updated callstring tests

Johanna Schinabeck
authored and
Johanna Schinabeck
committed
option to enable/disable is merged with context gas value: negative value means disabled

Johanna Schinabeck
authored and
Johanna Schinabeck
committed
updated comment of analysis in callstring; updated configs for sv comp

Johanna Schinabeck
authored and
Johanna Schinabeck
committed
add marshal to context gas lifter

Johanna Schinabeck
authored and
Johanna Schinabeck
committed

Commits on Mar 13, 2024

add ana.ctx_sens option

Johanna Schinabeck
authored and
Johanna Schinabeck
committed
update comment of contextGasLifter

Johanna Schinabeck
authored and
Johanna Schinabeck
committed
Merge

Johanna Schinabeck
authored and
Johanna Schinabeck
committed
new config file for master thesis -> moved all thesis related configs to folder

Johanna Schinabeck
authored and
Johanna Schinabeck
committed

Commits on Mar 15, 2024

enabled octagon autotuning and yaml for masterthesis configs

Johanna Schinabeck
authored and
Johanna Schinabeck
committed
added context gas 0 config

Johanna Schinabeck
authored and
Johanna Schinabeck
committed

Commits on Mar 17, 2024

Merge branch 'goblint:master' into master
SchiJoha
authored

Commits on Mar 19, 2024

Merge branch 'goblint:master' into master
SchiJoha
authored

Commits on Mar 20, 2024

add explanatory comments

Johanna Schinabeck
authored and
Johanna Schinabeck
committed
Merge branch 'master' of https://github.com/SchiJoha/GobContextGas

Johanna Schinabeck
authored and
Johanna Schinabeck
committed

Commits on Apr 7, 2024

merged, default call stack height is now 2

Johanna Schinabeck
authored and
Johanna Schinabeck
committed
add cont_sens_ids set to check for inse ana more efficiently

Johanna Schinabeck
authored and
Johanna Schinabeck
committed

Commits on Apr 14, 2024

deleted configurations, deleted call_string_withCallee, updated callstring file (variable names: call stack -> call string, comments)

Johanna Schinabeck
authored and
Johanna Schinabeck
committed

Commits on Apr 15, 2024

update comments on constraints and loopfreeCallstring

Johanna Schinabeck
authored and
Johanna Schinabeck
committed
updated comments, updated tests

Johanna Schinabeck
authored and
Johanna Schinabeck
committed
commit to make the indentation test pass...

Johanna Schinabeck
authored and
Johanna Schinabeck
committed
Merge remote-tracking branch 'upstream/master'

Johanna Schinabeck
authored and
Johanna Schinabeck
committed
renumbered call string tests to 79; update comments of tests

Johanna Schinabeck
authored and
Johanna Schinabeck
committed

Commits on Apr 16, 2024

Merge branch 'goblint:master' into master
SchiJoha
authored

Commits on Apr 17, 2024

Merge branch 'goblint:master' into master
SchiJoha
authored
update description: callString_length is only effective with activated analysis; fixed typo in loopfree callstring comment

Johanna Schinabeck
authored and
Johanna Schinabeck
committed

Commits on Apr 18, 2024

Formatting suggestion by Simmo

michael-schwarz
and
sim642
authored

Commits on Apr 19, 2024

Merge branch 'goblint:master' into master
SchiJoha
authored

Commits on Apr 22, 2024

Merge remote-tracking branch 'upstream/master'

Johanna Schinabeck
authored and
Johanna Schinabeck
committed
cosmetic changes from Julian (on options, loopfree Callstring and callstring analyses)

Johanna Schinabeck
authored and
Johanna Schinabeck
committed

Commits

Commits on Oct 19, 2023

Commits on Oct 22, 2023

Commits on Oct 23, 2023

Commits on Nov 1, 2023

Commits on Nov 2, 2023

Commits on Nov 7, 2023

Commits on Nov 9, 2023

Commits on Nov 10, 2023

Commits on Nov 13, 2023

Commits on Nov 14, 2023

Commits on Nov 17, 2023

Commits on Nov 23, 2023

Commits on Nov 24, 2023

Commits on Nov 27, 2023

Commits on Nov 28, 2023

Commits on Nov 29, 2023

Commits on Dec 4, 2023

Commits on Dec 5, 2023

Commits on Dec 6, 2023

Commits on Dec 8, 2023

Commits on Dec 9, 2023

Commits on Dec 10, 2023

Commits on Dec 19, 2023

Commits on Dec 20, 2023

Commits on Dec 21, 2023

Commits on Jan 2, 2024

Commits on Jan 4, 2024

Commits on Jan 5, 2024

Commits on Jan 9, 2024

Commits on Jan 11, 2024

Commits on Jan 12, 2024

Commits on Jan 17, 2024

Commits on Jan 22, 2024

Commits on Jan 23, 2024

Commits on Jan 25, 2024