2007
DOI: 10.1007/978-3-540-74792-5_7
|View full text |Cite
|
Sign up to set email alerts
|

JACK — A Tool for Validation of Security and Behaviour of Java Applications

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
22
0

Year Published

2008
2008
2019
2019

Publication Types

Select...
5
2
1

Relationship

0
8

Authors

Journals

citations
Cited by 25 publications
(22 citation statements)
references
References 22 publications
0
22
0
Order By: Relevance
“…Neither the checker nor any example output is publicly available, so it is difficult to compare to our work. Other frameworks that could be used for writing pluggable type systems include JastAdd [9], JACK [5], and Polyglot [18].…”
Section: Related Workmentioning
confidence: 99%
“…Neither the checker nor any example output is publicly available, so it is difficult to compare to our work. Other frameworks that could be used for writing pluggable type systems include JastAdd [9], JACK [5], and Polyglot [18].…”
Section: Related Workmentioning
confidence: 99%
“…As before, the presented framework does not feature any static analysis. JACK [4] is a tool for the validation of Java applications, both at the levels of bytecode and of source code. Programmers specify application properties through JML annotations, which are equi-expressive with first-order logics.…”
Section: Static Analysis and Optimizationsmentioning
confidence: 99%
“…For this program, manual code inspection to reveal whether a JML error was hidden might not be straightforward (remember that the code for the decrypt method and the invocation of sneakyMethod might be stored in different classes). Naturally, tools for static validation of JML annotations (such as ESC/Java [5] or Jack [2]) would detect this attempt to call decrypt with illegal arguments.…”
Section: Examplesmentioning
confidence: 99%