Issues · pub / frama-c · GitLab

Smarter access to array of struct of array

#1204 · created Dec 10, 2011 by Pascal Cuoq enhancement eva
- CLOSED
- 7
updated Feb 22, 2021
value analysis memory consumption problem when using -lib-entry option

#1988 · created Nov 25, 2011 by mantis-gitlab-migration bug eva
- CLOSED
- 1
updated Feb 22, 2021
Emitted assertion wrongly reduces to bottom (apparently) (csmith)

#1379 · created Nov 19, 2011 by Pascal Cuoq bug eva
- CLOSED
- 12
updated Feb 22, 2021
Invalid handling of shift of pointer address

#1979 · created Oct 27, 2011 by Boris Yakobowski bug eva
- CLOSED
- 2
updated Feb 22, 2021
Evaluation in the logic can cause crashes

#1781 · created Oct 25, 2011 by Boris Yakobowski critical eva
- CLOSED
- 1
updated Feb 22, 2021
Invariant used only in absence of precondition

#2099 · created Oct 23, 2011 by Boris Yakobowski bug eva
- CLOSED
- 1
updated Feb 22, 2021
Warnings in presence of Top floats

#1980 · created Oct 23, 2011 by Boris Yakobowski bug eva
- CLOSED
- 7
updated Feb 22, 2021
Wrong result when subtle promotions involved in x86_32 (csmith)

#2102 · created Oct 21, 2011 by Pascal Cuoq bug eva
- CLOSED
- 2
updated Feb 22, 2021
Slicing generates empty program (csmith)

#1775 · created Sep 19, 2011 by Pascal Cuoq bug eva
- CLOSED
- 7
updated Feb 22, 2021
Valid access to literal w_chart string address considered invalid

#2122 · created Sep 02, 2011 by Benjamin Monate bug eva
- CLOSED
- 0
updated Feb 22, 2021
Should warn for overlapping lv=lv; assignments

#295 · created Sep 01, 2011 by Pascal Cuoq bug eva
- CLOSED
- 5
updated Mar 29, 2021
strange value-set for loop-variable in presence of flexible array

#2180 · created Aug 12, 2011 by Jochen Burghardt eva
- CLOSED
- 1
updated Feb 22, 2021
Bogus uninitialized value messages for trivial safe program

#2184 · created Aug 11, 2011 by mantis-gitlab-migration bug eva
- CLOSED
- 1
updated Feb 22, 2021
Improve Db.Properties.Interp.loc_to_loc

#2119 · created Aug 05, 2011 by Boris Yakobowski bug eva
- CLOSED
- 3
updated Feb 22, 2021
interest for a built-in memset function

#1794 · created Aug 05, 2011 by David Delmas enhancement eva
- CLOSED
- 4
updated Feb 22, 2021
Option -val-signed-overflow-alarms misses some overflow

#2189 · created Jul 26, 2011 by Boris Yakobowski bug eva
- CLOSED
- 1
updated Feb 22, 2021
File "src/memory_state/lmap.ml", line 931, characters 22-28: Assertion failed

#1320 · created Jul 25, 2011 by Benjamin Monate critical eva
- CLOSED
- 2
updated Feb 22, 2021
Results differ between value analysis and GCC on bitfields

#1316 · created Jul 25, 2011 by Benjamin Monate bug eva
- CLOSED
- 2
updated Feb 22, 2021
Crash du builtin memcpy, par une exception non rattrapable

#1313 · created Jul 07, 2011 by Boris Yakobowski critical eva
- CLOSED
- 3
updated Feb 22, 2021
Widen hints for a variable should not influence the values for other variables

#543 · created Jul 04, 2011 by Boris Yakobowski bug eva
- CLOSED
- 5
updated Feb 22, 2021

Prev
1
2
3
4
5
6
7
Next