Issues · pub / frama-c · GitLab

Locations.valid_enumerate_bits enumerate invalid bits

#1884 · created Aug 08, 2012 by Boris Yakobowski enhancement eva
- CLOSED
- 3
updated Feb 22, 2021
warning for unreachable program point

#1864 · created May 23, 2013 by mantis-gitlab-migration enhancement eva
- CLOSED
- 1
updated Feb 22, 2021
"Loss of precision" message after shift

#1863 · created May 22, 2013 by mantis-gitlab-migration bug eva
- CLOSED
- 1
updated Feb 22, 2021
Different signed_overflow assert with rte + val

#1861 · created May 22, 2013 by mantis-gitlab-migration bug eva
- CLOSED
- 3
updated Feb 22, 2021
Some Value assert are not in the log file

#1848 · created May 23, 2013 by mantis-gitlab-migration bug eva
- CLOSED
- 5
updated Feb 22, 2021
unexpected stack overflow in value analysis

#1835 · created Feb 25, 2013 by Jochen Burghardt critical eva
- CLOSED
- 14
updated Feb 22, 2021
speed of value analysis while use the "-lib-entry" and "main" and "-val-use-spec" option for value analysis

#1824 · created Jan 12, 2014 by mantis-gitlab-migration eva
- CLOSED
- 2
updated Feb 22, 2021
value analysis crashed after I the ast was modified in a new project

#1823 · created Dec 11, 2013 by mantis-gitlab-migration critical eva
- CLOSED
- 1
updated Feb 22, 2021
Incompatibility between -inout-callwise and failing built-ins.

#1815 · created Jan 30, 2014 by Pascal Cuoq bug eva
- CLOSED
- 8
updated Feb 22, 2021
strange warning "extracting bits of a pointer"

#1810 · created Feb 12, 2013 by Jochen Burghardt enhancement 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
Evaluation in the logic can cause crashes

#1781 · created Oct 25, 2011 by Boris Yakobowski critical eva
- CLOSED
- 1
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
Cash in value analysis of sliced project

#1761 · created Apr 13, 2011 by Patrick Baudin critical eva
- CLOSED
- 3
updated Feb 22, 2021
Print addresses in hexadecimal

#1754 · created Feb 18, 2011 by Boris Yakobowski enhancement eva
- CLOSED
- 5
updated Feb 22, 2021
Superfluous ';' in value analysis output

#1738 · created Dec 03, 2010 by Boris Yakobowski enhancement eva
- CLOSED
- 1
updated Feb 22, 2021
Comparing a function pointer will NULL might raise incorrect warning

#1694 · created May 07, 2010 by Boris Yakobowski bug eva
- CLOSED
- 3
updated Feb 22, 2021
Precise widening when a loop condition involves a char or short

#1658 · created Nov 07, 2009 by Pascal Cuoq enhancement eva
- CLOSED
- 1
updated Feb 22, 2021
Problem with is_finite predicate generated by -val

#1621 · created Sep 30, 2009 by Dillon Pariente bug eva
- CLOSED
- 3
updated Feb 22, 2021
block-local variables not handled correctly in conjunction with -ulevel

#1610 · created Sep 14, 2009 by Pascal Cuoq bug eva
- CLOSED
- 3
updated Feb 22, 2021

Prev
1
2
3
4
5
6
7
Next