Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
34
views
10
references
Top references
cited by
7
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,789
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Static Analysis
A New Algorithm for Identifying Loops in Decompilation
other
Author(s):
Tao Wei
,
Jian Mao
,
Wei Zou
,
Yu Chen
Publication date
(Print):
2007
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Phytosauria
Most cited references
10
Record
: found
Abstract
: not found
Article
: not found
Control flow analysis
Frances Allen
(1970)
0
comments
Cited
42
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book
: not found
Advanced Compiler Design and Imlementation
S.S. Muchnick
,
S Muchnick
,
SS Muchnick
…
(1997)
0
comments
Cited
22
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Testing flow graph reducibility
R. Tarjan
(1974)
0
comments
Cited
17
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2007
Pages
: 170-183
DOI:
10.1007/978-3-540-74061-2_11
SO-VID:
3a636b08-7c05-4f19-8b82-cb6769a0a6e8
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 452
Magic-Sets Transformation for the Analysis of Java Bytecode
pp. 87
Formalised Inductive Reasoning in the Logic of Bunched Implications
pp. 170
A New Algorithm for Identifying Loops in Decompilation
pp. 233
Modular Safety Checking for Fine-Grained Concurrency
pp. 249
Static Analysis of Dynamic Communication Systems by Partner Abstraction
pp. 349
Guided Static Analysis
pp. 384
Shape Analysis with Structural Invariant Checkers
pp. 437
Astrée: From Research to Industry
Similar content
2,789
Decompiling Android
Authors:
Godfrey Nolan
Decompilation of control structures by means of graph transformations
Authors:
Ulrike Lichtblau
STRIDE: Simple Type Recognition In Decompiled Executables
Authors:
Harrison Green
,
Edward J. Schwartz
,
Claire Le Goues
…
See all similar
Cited by
7
Analyzing Runtime and Size Complexity of Integer Programs
Authors:
Marc Brockschmidt
,
Fabian Emmes
,
Stephan Falke
…
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode
Authors:
Elvira Albert
,
Puri Arenas
,
Samir Genaim
…
Energy Transparency for Deeply Embedded Programs
Authors:
Kerstin Eder
,
Kyriakos Georgiou
,
Steve Kerrison
…
See all cited by