Deputy
Demo
You can try Deputy on one of our pre-packaged tests, or you can upload your own source file. You'll then see the result of running Deputy on the selected file.
1. Select the source file:
[Option 1] Select one of our test files:
upload a test
array.c (test case with arrays)
or,
[Option 2] Upload file[s] to compile:
Constraints on uploaded files:
must be a preprocessed source file, with the extension .i (to obtain such a file run "gcc -E" on a source file).
2. Select the Deputy options you want to use:
Optimize the run-time checks
3.
You will have access to
Statistics about the different kinds of pointers that Deputy decides to use
Statistics about the different kinds of run-time checks that Deputy decides to use
An
interactive browser
that allows you to find out why Deputy has decided to use certain pointer kinds.
The output of Deputy
A full log of the Deputy run embedded in comments in the resulting file (select "View/Page Source" to see them)