erik-krogh fc38bf0429 Merge branch 'main' into aliasFlow

2022-11-07 09:46:48 +01:00

..

PrototypePollutingAssignment

expand localFieldStep to use access-paths, and build access-paths in more cases

2022-09-13 21:43:06 +02:00

PrototypePollutingFunction

generalize BarrierGuardFunctionto work on function that have multiple parameters

2022-08-16 09:13:15 +02:00

PrototypePollutingMergeCall

fix some more style-guide violations in the alert-messages

2022-10-07 11:22:22 +02:00