Suchergebnisse - "Java Bytecode"

Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte melden Sie sich für Vollzugriff an: Anmelden

141

LibCapsule: Complete Confinement of Third-Party Libraries in Android Applications
Qiu, J. ; Yang, X. ; Wu, H. ; et al.
IEEE Transactions on Dependable and Secure Computing IEEE Trans. Dependable and Secure Comput. Dependable and Secure Computing, IEEE Transactions on. 19(5):2873-2889 Jan, 2022

Fachzeitschrift

Zum Volltext in IEEE Xplore

142

Transforming Jimple to Java Bytecode using the SootUp framework
Parmar, Gautam

E-Ressource

Zum Treffer/Volltext bei BASE

143

Dieses Ergebnis kann Gästen nicht angezeigt werden.
Melden Sie sich für Vollzugriff an.

144

TACAI: an intermediate representation based on abstract interpretation
Reif, Michael ; Kübler, Florian ; Helm, Dominik ; et al.
Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. :2-7

Konferenz

Zum Volltext in ACM Digital Library

145

Dynamic semantics of Java bytecode
Bertelsen, Peter
In Future Generation Computer Systems 2000 16(7):841-850

Fachzeitschrift

Zum Volltext

146

Dieses Ergebnis kann Gästen nicht angezeigt werden.
Melden Sie sich für Vollzugriff an.

147

Dieses Ergebnis kann Gästen nicht angezeigt werden.
Melden Sie sich für Vollzugriff an.

148

The Vulnerability Analysis of Java Bytecode Based on Points-to Dataflow
Tang Hong ; Zhang Lufeng ; Chen Hua ; et al.

Java bytecode points-to dataflow vulnerability analysis

Fachzeitschrift

Zum Treffer/Volltext bei BASE

149

Java bytecode verification via static single assignment form
Gal, Andreas ; Probst, Christian W. ; Franz, Michael
ACM Transactions on Programming Languages & Systems. July, 2008, Vol. 30 Issue 4, p21, 21 p.

Fachzeitschrift

Zum Volltext

150

Advanced Mutation Testing of Java Bytecode Using Model Transformation
Bockisch, Christoph ; Dorn, Freya ; Eren, Deniz ; et al.

Mutation testing Java bytecode Model transformation

Prüfe Verfügbarkeit

151

Modular termination proofs of recursive Java Bytecode programs by term rewriting
Marc Brockschmidt ; Carsten Otto ; Jürgen Giesl ; et al.
http://drops.dagstuhl.de/opus/volltexte/2011/3114/pdf/7.pdf.

Java Bytecode term rewriting recursion Digital Object...

Fachzeitschrift

Zum Treffer/Volltext bei BASE

152

2 Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode ⋆
Nullpointerexceptions For ; Java Bytecode ; Marc Brockschmidt ; et al.
http://verify.rwth-aachen.de/otto/papers/JBC-Nonterm_report.pdf.

Fachzeitschrift

Zum Treffer/Volltext bei BASE

153

JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution)
Mues, Malte ; Howar, Falk
Tools and Algorithms for the Construction and Analysis of Systems ; Lecture Notes in Computer Science ; page 398-402 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030452360 9783030452377

Buch

Zum Treffer/Volltext bei BASE

154

Type elaboration and subtype completion for Java bytecode
Knoblock, Todd B. ; Rehof, Jakob
ACM Transactions on Programming Languages & Systems. March, 2001, Vol. 23 Issue 2, p243, 30 p.

Fachzeitschrift

Zum Volltext

155

Dieses Ergebnis kann Gästen nicht angezeigt werden.
Melden Sie sich für Vollzugriff an.

156

The Hyperion system: Compiling multithreaded Java bytecode for distributed execution
Antoniu, Gabriel ; Bougé, Luc ; Hatcher, Philip ; et al.
In Parallel Computing 2001 27(10):1279-1297

Fachzeitschrift

Zum Volltext

157

Dynamic slicing on Java bytecode traces
Wang, Tao ; Roychoudhury, Abhik
ACM Transactions on Programming Languages & Systems. March, 2008, Vol. 30 Issue 2, p10, 49 p.

Fachzeitschrift

Zum Volltext

158

Observation of Method Invocation in Application Runtime in Android for CPU Clock Rate Adjustment
Kumakura, Kota ; Sonoyama, Atsuya ; Kamiyama, Takeshi ; et al.
2021 Ninth International Symposium on Computing and Networking Workshops (CANDARW) CANDARW Computing and Networking Workshops (CANDARW), 2021 Ninth International Symposium on. :481-483 Nov, 2021

Konferenz