SootFX: A Static Code Feature Extraction Tool for Java and Android

Karakaya, Kadiray; Bodden, Eric

doi:10.1109/scam52516.2021.00030

Cited by 6 publications

(1 citation statement)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…At the method level, an analysis of the changes made to individual methods is done to assess the quality of the changes made in the system [18]. Recent research shows a significant increase into the development of automated tools for static source code analysis like FindBugs [3] and extract method feature [19]. Both extract method refactoring and composite method refactoring [20] tools, help improve program understandability and comprehension supported by an empirical study on the characteristics of method extractions in Java [21].…”

Section: Introductionmentioning

confidence: 99%

Method level static source code analysis on behavioral change impact analysis in software regression testing

Muthengi,

Mugo,

Mutua

et al. 2024

IJEECS

View full text Add to dashboard Cite

Though a myriad of changes take place in a software system during maintenance, behavioral changes carry the bulk of the reasons of software modifications. In assessing the impact of the changes made in software, static source code analysis plays a key role. However, static source code analysis can be a little complex depending on the reason for the expedition. Despite the work done so far, little focus has been made on the potential of changed methods analysis during static source code analysis in assessing the impact of the changes made in a software system. We propose and investigate a static source code analysis technique that would generate information on the modified methods in the source code. This study analyzes four aThough a myriad of changes take place in a software system during maintenance, behavioral changes carry the bulk of the reasons for software modifications. In assessing the impact of the changes made in the software, static source code analysis can be a little complex depending on the reason for the expedition. Despite the works done so far, little focus has been directed on the potential of changed methods during static source code analysis, in assessing the impact of the changes made in software. This study investigates a method-level static source code analysis technique that would generate information on the methods affected by changes made in the software. The work analyzed three Java projects. The results indicate an improvement in leveraging on the knowledge of edited methods in change impact assessment during regression testing. The approach enhances code review efforts in light of assessing operational behavior impacted by the changes made.Java projects and shows that an analysis of the changed methods reveals the level of regression testing that ought to be conducted for the changes made.

show abstract

Section: Introductionmentioning

confidence: 99%

Method level static source code analysis on behavioral change impact analysis in software regression testing

Muthengi,

Mugo,

Mutua

et al. 2024

IJEECS

View full text Add to dashboard Cite

show abstract

Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept

Dam

Duchene

Given-Wilson

et al. 2022

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

View full text Add to dashboard Cite

SootUp: A Redesign of the Soot Static Analysis Framework

Karakaya,

Schott,

Klauke

et al. 2024

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Since its inception two decades ago, Soot has become one of the most widely used open-source static analysis frameworks. Over time it has been extended with the contributions of countless researchers. Yet, at the same time, the requirements for Soot have changed over the years and become increasingly at odds with some of the major design decisions that underlie it. In this work, we thus present SootUp, a complete reimplementation of Soot that seeks to fulfill these requirements with a novel design, while at the same time keeping elements that Soot users have grown accustomed to.

show abstract

SootFX: A Static Code Feature Extraction Tool for Java and Android

Cited by 6 publications

References 15 publications

Method level static source code analysis on behavioral change impact analysis in software regression testing

Method level static source code analysis on behavioral change impact analysis in software regression testing

Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept

SootUp: A Redesign of the Soot Static Analysis Framework

Contact Info

Product

Resources

About