Search Results - "Java bytecode analysis"

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

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

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