0001837: Literal strings can be added multiple times in memory

View Issue Details [ Jump to Notes ]

Project

Tags

No tags attached.

Attached Files

bug-1837-literal-strings.c (149 bytes) 2014-07-16 18:08

int main() {
  const int MAX = 128;
  int i = MAX;

  do {
    char *s = "toto";
    /*@ assert \valid_read(s) ; */
  } while (i--);

  return 0;
}

bug-1837-literal-strings.c (149 bytes) 2014-07-16 18:08

Relationships

related to

closed

E-ACSL: executes "__store_block()" but never "__delete_block()"!

Relationships

Notes

signoles (manager)

2015-06-04 18:00

Last edited: 2015-06-04 18:01

Fixed in upcoming E-ACSL 0.5.

Notes

Date Modified	Username	Field	Change
Issue History
2014-07-16 16:58	arvidj	New Issue
2014-07-16 16:58	arvidj	Status	new => assigned
2014-07-16 16:58	arvidj	Assigned To	=> signoles
2014-07-16 18:05	signoles	Relationship added	related to 0001636
2014-07-16 18:06	signoles	Status	assigned => confirmed
2014-07-16 18:08	arvidj	File Added: bug-1837-literal-strings.gen.c.out
2014-07-16 18:08	arvidj	File Added: bug-1837-literal-strings.c
2014-07-17 00:21	yakobowski	File Deleted: bug-1837-literal-strings.gen.c.out
2015-06-04 18:00	signoles	Note Added: 0005931
2015-06-04 18:00	signoles	Status	confirmed => resolved
2015-06-04 18:00	signoles	Fixed in Version	=> Frama-C Sodium
2015-06-04 18:00	signoles	Resolution	open => fixed
2015-06-04 18:01	signoles	Note Edited: 0005931	View Revisions
2015-06-08 14:22	signoles	Status	resolved => closed

Issue History