Issues · pub / frama-c · GitLab

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
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
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
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
Recursive calls in value analysis

#577 · created Nov 03, 2015 by mantis-gitlab-migration bug 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
suggest to provide and document a unique warning string to grep for in value-analysis output files

#297 · created Nov 28, 2016 by Jochen Burghardt eva
- CLOSED
- 4
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
wrongly synthesized assert

#1584 · created Jul 16, 2009 by Fabrice Derepas bug eva
- CLOSED
- 4
updated Feb 22, 2021
int a; main(){ return 100 / (int)(&a + 2); } fails to report a division by zero

#1554 · created May 04, 2009 by Pascal Cuoq bug eva
- CLOSED
- 1
updated Feb 22, 2021
if((int)(&a+2)) fails to warn about being unspecified

#1553 · created May 05, 2009 by Pascal Cuoq bug eva
- CLOSED
- 1
updated Feb 22, 2021

Prev
1
2
3
4
5
6
7
Next