Search Results - "Java Bytecode Analysis"

Additional Titles: SOBA: A Simple Toolkit for Java Bytecode Analysis

Index Terms: Journal Article., VoR.

URL: https://hdl.handle.net/11094/92579
https://doi.org/10.11309/jssst.33.4_4
https://ir.library.osaka-u.ac.jp/repo/ouka/all/92579/ComputSoftw_33_4_4.pdf

SOBA: A Simple Toolkit for Java Bytecode Analysis / SOBA:シンプルなJavaバイトコード解析ツールキット

Authors: Katsuro INOUE Takashi ISHIO Tomomi HATANO et al.

Source: コンピュータ ソフトウェア / Computer Software. 2016, 33(4):4-4

Additional Titles: SOBA: A Simple Toolkit for Java Bytecode Analysis

Index Terms: journal article, Journal_Article, Text

URL: https://doi.org/10.11309/jssst.33.4_4
https://ir.library.osaka-u.ac.jp/repo/ouka/all/92579/ComputSoftw_33_4_4.pdf

Additional Titles: SOBA: A Simple Toolkit for Java Bytecode Analysis

Index Terms: journal article, Journal_Article, Text

URL: https://doi.org/10.11309/jssst.33.4_4
https://ir.library.osaka-u.ac.jp/repo/ouka/all/92579/ComputSoftw_33_4_4.pdf

Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs

Authors: Malte Mues Till Schallau Falk Howar

Source: Lecture Notes in Computer Science ISBN: 9783030634605

Subject Terms: Dynamic Symbolic Execution, Java Bytecode Analysis, Dynamic Taint Analysis, Domain Specific Languages

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis

Authors: Păsăreanu, Corina S. Visser, Willem Bushnell, David et al.

Source: Automated Software Engineering ; volume 20, issue 3, page 391-425 ; ISSN 0928-8910 1573-7535

Availability: http://dx.doi.org/10.1007/s10515-013-0122-2
http://link.springer.com/content/pdf/10.1007/s10515-013-0122-2.pdf
http://link.springer.com/article/10.1007/s10515-013-0122-2/fulltext.html
http://link.springer.com/content/pdf/10.1007/s10515-013-0122-2

Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis

Authors: Artho, Cyrille Biere, Armin

Source: Electronic Notes in Theoretical Computer Science. 141:109-128

Subject Terms: Datavetenskap (datalogi), static analysis, Computer Sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, dynamic analysis, Java bytecode analysis, inlining, Theoretical Computer Science, Computer Science(all)

File Description: application/pdf; pdf

Access URL: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-199170

A method for detecting the theft of Java programs through analysis of the control flow information

Authors: Lim, HI Lim, Hyun-il Park, H Park, Heewan Choi, S Choi, Seokwoo et al.

Source: Information and Software Technology. 51:1338-1350

Subject Terms: Software theft detection, Software birthmark, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Software copyright protection, Java bytecode analysis

Detecting Common Modules in Java Packages Based on Static Object Trace Birthmark

Authors: Heewan Park Hyun-il Lim Seokwoo Choi et al.

Contributors: Heewan Park Hyun-il Lim Seokwoo Choi et al.

Source: http://pllab.kaist.ac.kr/~han/StaticObjectBM.pdf.

Subject Terms: software birthmark, software theft detection, GPL violation, Java bytecode analysis

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.156.3791; http://pllab.kaist.ac.kr/~han/StaticObjectBM.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.156.3791
http://pllab.kaist.ac.kr/~han/StaticObjectBM.pdf

Analyzing Stack Flows to Compare Java Programs

Authors: Hyun-il LIM Taisook HAN

Source: IEICE Transactions on Information and Systems. 2012, E95.D(2):565

Jaint: A Framework for User-Defined Dynamic Taint-Analyses based on Dynamic Symbolic Execution of Java Programs

Authors: Mues, Malte Schallau, Till Howar, Falk et al.

Contributors: Mues, Malte Schallau, Till Howar, Falk et al.

Subject Terms: Dynamic Symbolic Execution, Domain Specific Languages, Java Bytecode Analysis, Dynamic Taint Analysis

File Description: application/pdf

Relation: Software Engineering 2021; ecture Notes in Informatics (LNI) - Proceedings, Volume P-310; https://dl.gi.de/handle/20.500.12116/34522

Availability: https://dl.gi.de/handle/20.500.12116/34522
https://hdl.handle.net/20.500.12116/34522
https://doi.org/10.18420/SE2021_27

Exception-aware Lifecycle Model Construction for Framework APIs

Authors: Yan, Jiwei Huang, Jinhao Yang, Hengqin et al.

Index Terms: Computer Science - Software Engineering, text

URL: http://arxiv.org/abs/2401.02660

Detecting Common Modules in Java Packages Based on Static Object Trace Birthmark.

Authors: Park, Heewan Lim, Hyun-il Choi, Seokwoo et al.

Source: Computer Journal. Jan2011, Vol. 54 Issue 1, p108-124. 17p.

Subject Terms: *MODULES (Algebra), *JAVA programming language, *NEVUS, *COMPUTER software, *IDENTIFICATION, *PROGRAMMING languages, *COMPUTER programmers

Software theft detection through static trace birthmarks for java ; 자바의 정적 트레이스 버스마크를 통한 소프트웨어 도용 탐지

Authors: Park, Hee-Wan 박희완 Han, Tai-Sook et al.

Contributors: Park, Hee-Wan 박희완 Han, Tai-Sook et al.

Subject Terms: GPL violation, static analysis, software theft detection, software birthmark, Java bytecode analysis, 자바 바이트코드 분석, GPL 위반, 정적 분석, 소프트웨어 도용 탐지, 소프트웨어 버스마크

Relation: http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=418837&flag=dissertation; http://hdl.handle.net/10203/33304; 418837/325007; 000995169; 898

Availability: http://hdl.handle.net/10203/33304
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=418837&flag=dissertation

Software theft detection through analysis of the semantic units of program ; 프로그램의 의미 단위 분석을 통한 소프트웨어의 도용 탐지 방법

Authors: Lim, Hyun-il Han, Tai-Sook(한태숙)

Contributors: Lim, Hyun-il Han, Tai-Sook(한태숙)

Subject Terms: software theft detection, software protection, program analysis, software birthmark, Java bytecode analysis, 소프트웨어 도용 탐지, 소프트웨어 보호, 프로그램 분석, 소프트웨어 버스마크, 자바 바이트코드 분석, stat, lang

Relation: http://hdl.handle.net/10203/33277

Availability: http://hdl.handle.net/10203/33277

Helping Student Programmers Identify and Fix Bugs Using Static Analysis Tools

Authors: Senger, Allyson Lauren

Index Terms: static analysis tools, FindBugs, error messages, novice programmers, feedback, Thesis

URL: http://hdl.handle.net/10919/107555

物联网设备固件自动化漏洞挖掘技术研究综述. (Chinese)

Alternate Title: Survey on automated vulnerability mining techniques for IoT device firmware. (English)

Authors: 刘, 航天 甘, 水滔 张, 超 et al.

Source: Chinese Journal of Network & Information Security; Apr2025, Vol. 11 Issue 2, p26-49, 24p

Subject Terms: LANGUAGE models, INTERNET of things, RESEARCH personnel, CUSTOMIZATION

DLCDroid an android apps analysis framework to analyse the dynamically loaded code.

Authors: Bhan, Rati Pamula, Rajendra Kumar, K Susheel et al.

Source: Scientific Reports; 1/26/2025, Vol. 15 Issue 1, p1-16, 16p

Subject Terms: LEAKS (Disclosure of information), DATA security failures, MALWARE, MOBILE apps, INSTITUTIONAL repositories

How to Circumvent and Beat the Ransomware in Android Operating System—A Case Study of Locker.CB!tr.

Authors: Drabent, Kornel Janowski, Robert Mongay Batalla, Jordi

Source: Electronics (2079-9292); Jun2024, Vol. 13 Issue 11, p2212, 20p

Subject Terms: RANSOMWARE, SOURCE code, CELL phones

In vivo test and rollback of Java applications as they are.

Authors: Bertolino, Antonia De Angelis, Guglielmo Miranda, Breno et al.

Source: Software Testing: Verification & Reliability; Nov2023, Vol. 33 Issue 7, p1-23, 23p

Subject Terms: IN vivo studies, SYSTEMS software, EXERCISE tests, EMPIRICAL research

Geographic Terms: JAVA (Indonesia)