Jisel is the rewriting engine of Jalapa. It redirects the security-relevant method calls to the enforcement mechanism, that decides whether blocking them or not.
java [properties] Jisel [options] input
where [properties] can be a combination of:
-Dcheck.global=<list>enforce the policies in
<list> globally.
-Dcheck.local=<list>
enforces the policies in <list> within their local scopes.
-Djisel.debug=<mod>
runs with debug informations from modules <mod>
(ALL for all modules)
-Djisel.debug.file=<file>
write debug info on file <file>
The set [options] can be any combination of:
-p <dir>
loads policies from <dir>
-o <dir>
writes output to <dir>
-m <main>
sets the application entry point to <main>
-pk <pkg>
uses <pkg> as package for instrumented classes
-h
prints an help message.