Lucas C. Cordeiro

icon indicating a website link https://ssvlab.github.io/lucasccordeiro/ icon indicating an email [email protected]

icon company The University of Manchester, UK icon location Manchester icon location Lucas C. Cordeiro is a Full Professor in the Department of Computer Science at the University of Manchester/UK and an Associate Professor at UFAM/Brazil.

Results 215 comments of Lucas C. Cordeiro

[Concurrency] Segmentation fault

@Anthonysdu: Did you have a chance to look at this issue?

[Concurrency] Segmentation fault

I still get this: ```` Thread interleavings 23 esbmc: /home/lucas/ESBMC_Project/esbmc/src/goto-symex/execution_state.cpp:505: void execution_statet::preserve_last_paths(): Assertion `it != ls.top().goto_state_map.end() && "Nonexistant preserved-path target?"' failed. Aborted ````

[Concurrency] Segmentation fault

Closed via https://github.com/esbmc/esbmc/tree/master/regression/esbmc-unix2/github_586_1 and https://github.com/esbmc/esbmc/tree/master/regression/esbmc-unix2/github_586_2.

recursive struct/union types

@fbrausse: Can I ask you whether this issue affects your CHERI-C work?

recursive struct/union types

@fbrausse: Can I ask you whether this issue affects your CHERI-C work?

ESBMC crashes when printing SSA for struct bitfield regression test

Closed via https://github.com/esbmc/esbmc/blob/master/regression/esbmc/struct_bitfields_16/test.desc.

Error constructing incompatible structure from one with array member

@fbrausse: Can I ask you whether we're now at a stage where we could have a fix for this issue?

Error constructing incompatible structure from one with array member

@fbrausse: Can I ask you whether we're now at a stage where we could have a fix for this issue?

Unitialized values in array_conv

@fbrausse: can I ask you for the status of this issue?

Unitialized values in array_conv

@fbrausse: Is this issue still valid after merging the CHERI-C PR?