Skip to content

Implementation of an intraprocedural reaching definition analysis using the Soot Java framework.

Notifications You must be signed in to change notification settings

shreyas-dharanesh/Reaching-Definition-Analysis

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Implementation of an intraprocedural reaching definition analysis using the Soot Java framework.

The input of the analysis is a function containing at least 20 statements. The statements should include definition, assignment, calculation, loop, and branching statements.

The output of the analysis should print Reaching Definition Set for both exit and entry for each statement.

About

Implementation of an intraprocedural reaching definition analysis using the Soot Java framework.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages