Philipp Ruemmer

icon indicating a website link http://www.philipp.ruemmer.org icon indicating an email [email protected]

icon company Uppsala University

Results 3 issues of Philipp Ruemmer

Generate meaningful output when assertions might be violated

1 comment

We should mark clauses with information about the corresponding assertion in code (say, NullPointerException in line X), and then generate output like "Could not verify absence of NullPointerException in line...

enhancement
in progress

In C parser, support specification of template terms/predicates at arbitrary program points

enhancement

The "eld-client" script does not work on machines with nmap/ncat

"Traditional" netcat, and netcat from OpenBSD works

bug