dbo:abstract
|
- In static program analysis, Soot is a bytecode manipulation and optimization framework consisting of intermediate languages for Java. It has been developed by the at McGill University. Soot provides four intermediate representations for use through its API for other analysis programs to access and build upon:
* Baf: a near bytecode representation.
* : a simplified version of Java source code that has a maximum of three components per statement.
* Shimple: an SSA variation of Jimple (similar to GIMPLE).
* Grimp: an aggregated version of Jimple suitable for decompilation and code inspection. The current Soot software release also contains detailed program analyses that can be used out-of-the-box, such as points-to analysis, call graph analysis and domination analysis (answering the question "must event a follow event b?"). It also has a decompiler called dava. Soot is free software available under the GNU Lesser General Public License (LGPL).In 2010, two research papers on Soot ( and ) were selected as IBM First Decade High Impact Papers among 12 other papers from the 425 entries. (en)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 5929 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:wikiPageUsesTemplate
| |
dcterms:subject
| |
gold:hypernym
| |
rdf:type
| |
rdfs:comment
|
- In static program analysis, Soot is a bytecode manipulation and optimization framework consisting of intermediate languages for Java. It has been developed by the at McGill University. Soot provides four intermediate representations for use through its API for other analysis programs to access and build upon: The current Soot software release also contains detailed program analyses that can be used out-of-the-box, such as points-to analysis, call graph analysis and domination analysis (answering the question "must event a follow event b?"). It also has a decompiler called dava. (en)
|
rdfs:label
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:homepage
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is foaf:primaryTopic
of | |