Frama-C Bug Tracking System

Frama-C - Change Log

Frama-C - Frama-C 15-Phosphorus (Released 2017-05-31) View Issues ]
=====================================================
- 0002137: [Plug-in > Eva] value analysis introduces weird pointer assert with variable length arrays (yakobowski) - closed.
- 0001740: [Plug-in > E-ACSL] Incorrectness when early exiting a block (signoles) - closed.
- 0000733: [Plug-in > inout] Invalid results in presence of pseudo-recursive calls in inout and from (yakobowski) - closed.
- 0002277: [Plug-in > Eva] Operability depends on the order of options changes (yakobowski) - closed.
- 0002279: [Plug-in > Eva] EVA analysis does not start with click on "Execution" button. (yakobowski) - closed.
- 0002252: [Plug-in > E-ACSL] GMP typing issue (signoles) - closed.
- 0002235: [Kernel] Functions that claim to return a struct but don't cause a crash (virgile) - closed.
- 0002269: [Plug-in > obfuscator] There is a typo in description of plug-in: "objuscator" instead of "obfuscator". (signoles) - closed.
- 0002283: [Plug-in > wp] type of float parameter changed unexpectedly to double (correnson) - closed.
- 0002284: [Plug-in > E-ACSL] E-ACSL type system crash (signoles) - closed.

[10 issues]


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker