Skip to content
Snippets Groups Projects
Commit a5a70d3f authored by David Bühler's avatar David Bühler
Browse files

[Eva] Evaluation engine: emits alarms at the creation of invalid pointers. 

Complies with the kernel option -warn-invalid-pointers.
parent a779f5ae
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment