The Static Analysis of the Uniqueness of Polymorphism

The existence of the polymorphism brings many changes on the executable paths of the object-oriented program, which makes it difficult to test the internal communication of the system and the interaction between the objects. This paper analyzes the structure feature of the Java program and builds an inheritance tree using the technique of reflection in Java, which guarantees the accuracy of the analysis data. This paper proposes an algorithm to determine the uniqueness based on the full analysis of the Java polymorphic calling states and the Liskov substitution principle. And the algorithm uses the asynchronous mode of high concurrency to increase the efficiency. The result shows the algorithm can determine the uniqueness of polymorphism efficiently and accurately. It can play an important role in the Java program comprehension and the system maintenance.

Download Full-text

Of Massive Static Analysis Data

2013 IEEE Seventh International Conference on Software Security and Reliability Companion ◽

10.1109/sere-c.2013.10 ◽

2013 ◽

Cited By ~ 3

Author(s):

Aurelien Delaitre ◽

Vadim Okun ◽

Elizabeth Fong

Keyword(s):

Static Analysis ◽

Analysis Data

Download Full-text

Static Analysis Based Support for Program Comprehension in Erlang

Acta Electrotechnica et Informatica ◽

10.2478/v10198-011-0022-y ◽

2011 ◽

Vol 11 (3) ◽

Cited By ~ 1

Author(s):

Melinda Tóth ◽

István Bozó ◽

Judit Kőszegi ◽

Zoltán Horváth

Keyword(s):

Static Analysis ◽

Program Comprehension

Download Full-text

An Algorithm of Program Comprehension and Visual Representation for Object-Oriented Program

Communications in Computer and Information Science - Emerging Research in Artificial Intelligence and Computational Intelligence ◽

10.1007/978-3-642-24282-3_8 ◽

2011 ◽

pp. 52-59

Author(s):

Hui Gu ◽

Daomiao Lin

Keyword(s):

Visual Representation ◽

Object Oriented ◽

Program Comprehension

Download Full-text

Technique of Code Obfuscation Based on Class Structure

Applied Mechanics and Materials ◽

10.4028/www.scientific.net/amm.271-272.674 ◽

2012 ◽

Vol 271-272 ◽

pp. 674-678

Author(s):

Yong Yong Sun ◽

Guang Qiu Huang

Keyword(s):

Static Analysis ◽

Software Security ◽

Object Oriented ◽

Property Right ◽

Class Structure ◽

Class Diagram ◽

Software Protection ◽

Code Obfuscation ◽

Class Hierarchy ◽

Protection Technology

Software protection technology is necessary for software security and property right of software. The algorithm of code obfuscation based on class is proposed that uses of obfuscation technology. The overall architecture of the system is hidden by changing the class diagram for class aggregation, and the algorithm of class aggregation can be used to design class hierarchy in object-oriented program. It makes static analysis difficult while preserving function of program. The interfaces replace original classes to achieve reference in order to implement type hidden, and automatic analysis becomes more difficult.

Download Full-text

Object-Oriented Program Tailoring Based on Model

Applied Mechanics and Materials ◽

10.4028/www.scientific.net/amm.608-609.23 ◽

2014 ◽

Vol 608-609 ◽

pp. 23-30

Author(s):

Qing Kai Jin ◽

Jun Yi Li ◽

Yan Zhang

Keyword(s):

Static Analysis ◽

Software Reuse ◽

Rapid Development ◽

Object Oriented ◽

Information Base ◽

Cutting Model

For the redundant codes caused by software reuse and rapid development in object-oriented program, the paper proposes a cutting model and designs a cutting scheme based on this model. Firstly, a cutting model is established. Then, static analysis is made for object-oriented codes and the cutting information base of objects to be clipped is established. Lastly, the cutting information base and cutting model is matched to cut the program. A test on a practical java project indicates that the cutting scheme can make the volume of the project reduce by about 21%.

Download Full-text

The Development of Object-Oriented SECS Communication Module Using Java, UML and Design Patterns

International Journal of Automation Technology ◽

10.20965/ijat.2008.p0096 ◽

2008 ◽

Vol 2 (2) ◽

pp. 96-104

Author(s):

Yen-Hui Li ◽

◽

Meng-Chang Chan ◽

An-Chen Lee ◽

◽

...

Keyword(s):

Design Patterns ◽

Unified Modeling Language ◽

Object Oriented ◽

Unified Modeling ◽

Reusable Software ◽

Program Language ◽

Java Program ◽

Communication Module ◽

Analysis Design ◽

Communication Equipment

This paper develops an SECS Communication Module, which conforms to SEMI standard, using the Object-oriented Analysis/Design (OOA/D) method. The two main features of SECS Communication Module are Unified Modeling Language (UML) and Design Patterns for developing flexible and reusable software architecture and JAVA program language for implementing SECS Communication Module. The developed SECS communication module can not only be integrated into cluster tool control but can also run stand-alone in a communication equipment.

Download Full-text

Software visualization for object-oriented program comprehension

Proceedings. 26th International Conference on Software Engineering ◽

10.1109/icse.2004.1317423 ◽

2004 ◽

Cited By ~ 7

Author(s):

M.J. Pacione

Keyword(s):

Object Oriented ◽

Program Comprehension ◽

Software Visualization

Download Full-text

Technique of Code Obfuscation Based on Class Splitting

Applied Mechanics and Materials ◽

10.4028/www.scientific.net/amm.271-272.636 ◽

2012 ◽

Vol 271-272 ◽

pp. 636-640

Author(s):

Yong Yong Sun ◽

Guang Qiu Huang

Keyword(s):

Reverse Engineering ◽

Static Analysis ◽

Object Oriented ◽

Class Structure ◽

Software Protection ◽

Sensitive Data ◽

Code Obfuscation ◽

Engineering Software ◽

Definition Of

The security of software is threatened by piracy, tampering and reverse engineering. Attackers attempt to get important algorithms and sensitive data of software by static analysis or reverse engineering. Software protection becomes an important problem. The algorithm of code obfuscation based on class splitting is proposed that uses of obfuscation technology. The definition of class splitting and realization on algorithm are described. At the same time, the performance on algorithm is analyzed. The obfuscation method enhances the degree of complication about program and static analysis becomes more difficult. The algorithm is applicable to object-oriented program with class structure.

Download Full-text