Taints in Dive

See merge request frama-c/frama-c!3956

Valentin Perrelle authored 2 years ago and David Bühler committed 2 years ago

- also for the special case of formal parameters
- values gathered should now be consistent with the partial graph built

Specific plugin name

See merge request frama-c/frama-c!3966

you don't want to update PTEST_PLUGIN if you have a LIBRARY...

François Bobot authored 2 years ago and Virgile Prevosto committed 2 years ago

         adds a dependency and load a public library

Migrate Db.Interpr out of Db

See merge request frama-c/frama-c!3885

Updates the Changelog for 26.0 (Iron)

Closes #1169

See merge request frama-c/frama-c!3982

[Eva] Octagon: infers relations on the integer conversion of floating-point variables

See merge request frama-c/frama-c!3953

When using a previous call from the memexec cache to interpret a new call, if a
relation from the previous output lead to bottom in the new state, emits a
warning and continues the analysis by ignoring this relation.

[ivette] The icon now works on Linux

See merge request frama-c/frama-c!3983