Skip to content

Add sawja (fix since tuong added it in the same time) and do some fixes in javalib #85

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Sep 27, 2012
Merged

Add sawja (fix since tuong added it in the same time) and do some fixes in javalib #85

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
b42a2d0
Add Sawja: 1.4 release
Sep 27, 2012
d54d964
Sawja: Add javalib version constraint
Sep 27, 2012
4bb42b3
Merge remote-tracking branch 'upstream/master'
Sep 27, 2012
22f572a
javalib and sawja: minor fixes in descr and opam
Sep 27, 2012
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion packages/javalib.2.2.2/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,4 +11,4 @@ remove: [
["ocamlfind" "remove" "javalib"]
["ocamlfind" "remove" "ptrees"]
]
depends: [ "camlzip" "extlib" ]
depends: [ "ocamlfind" "camlzip" "extlib" ]
2 changes: 1 addition & 1 deletion packages/sawja.1.4/descr
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Provide a high level representation of Java bytecode programs
Provide a high level representation of Java bytecode programs and static analysis tools.

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.
5 changes: 1 addition & 4 deletions packages/sawja.1.4/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,4 @@ build: [
remove: [
["ocamlfind" "remove" "sawja"]
]
depends: [
"ocamlfind"
"javalib"
]
depends: [ "ocamlfind" "javalib" {= "2.2.2"} ]