[SystemSafety] Subversive C programs for mockery of static analysis tools ... on a bad day ; -)

[Roderick Chapman]

On 30/11/2018 00:35, Brent Kimberley wrote:

> The personal interest is to see how hard/easy it
> is to write programs that meet sub-setting requirements yet lead
> verifiers to give false results (in other words, in spasmodic fits of
> mischief/subversion/ennui, I enjoy trying to break verifiers). 

I too have fun breaking other people's verifiers, but breaking C tools 
is far too easy. Please try to break SPARK - you'll find it more of a 
challenge. Please report anything you find either here, or to 
spark at adacore.com ...

  - Rod