Opam Package sawja.1.5.8

Package info

opam-namesawja
opam-version1.5.8
synopsisSawja provides a high level representation of Java bytecode programs and static analysis tools
description Sawja is a library written in OCaml, relying on Javalib to provide a high level representation of Java bytecode programs. Its name stands for Static Analysis Workshop for JAva. Whereas Javalib is dedicated to isolated classes, Sawja handles bytecode programs with their class hierarchy and control flow algorithms. Moreover, Sawja provides some stackless intermediate representations of code, called JBir and A3Bir. The transformation algorithm, common to these representations, has been formalized and proved to be semantics-preserving.
authors
  • Sawja development team
homepagehttp://sawja.inria.fr
licenseGPL V3
deps (4)
revdeps(0)
metas (1)
libraries (1)

Package modules

Package sources

sawja

Package files

lib/sawja/wlist.mli
lib/sawja/sawja_pack.o
lib/sawja/sawja_pack.cmx
lib/sawja/sawja_pack.cmo
lib/sawja/sawja_pack.cmi
lib/sawja/sawja.cmxa
lib/sawja/sawja.cma
lib/sawja/sawja.a
lib/sawja/safe.mli
lib/sawja/reachableMethods.mli
lib/sawja/reachDef.mli
lib/sawja/parserType.mli
lib/sawja/parse_heap.mli
lib/sawja/nexir.mli
lib/sawja/live_bir.mli
lib/sawja/live_a3bir.mli
lib/sawja/jsrInline.mli
lib/sawja/jUtil.mli
lib/sawja/jType.mli
lib/sawja/jRTAWithHeap.mli
lib/sawja/jRTA.mli
lib/sawja/jRRTA.mli
lib/sawja/jProgram.mli
lib/sawja/jPrintUtil.mli
lib/sawja/jPrintPlugin.mli
lib/sawja/jPrintHtml.mli
lib/sawja/jNativeStubs.mli
lib/sawja/jControlFlow.mli
lib/sawja/jCodePP.mli
lib/sawja/jCRA.mli
lib/sawja/jCFAPrinter.mli
lib/sawja/jCFAOptions.mli
lib/sawja/jCFADom.mli
lib/sawja/jCFA.mli
lib/sawja/jBirSSAPP.mli
lib/sawja/jBirSSA.mli
lib/sawja/jBirPP.mli
lib/sawja/jBir.mli
lib/sawja/iter2.mli
lib/sawja/iter.mli
lib/sawja/heapParser.mli
lib/sawja/classDomain.mli
lib/sawja/bir.cmi
lib/sawja/availableExpr.mli
lib/sawja/argPlugin.mli
lib/sawja/a3BirSSAPP.mli
lib/sawja/a3BirSSA.mli
lib/sawja/a3BirPP.mli
lib/sawja/a3Bir.mli
lib/sawja/XTA.mli
lib/sawja/META
lib/sawja