Skip to content

Conversation

@barbosamaatheus
Copy link
Collaborator

No description provided.

Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR introduces new options for overriding analysis without pointer analysis (OA Without PA) across the application.

  • Added new boolean flags and corresponding getters/setters in Arguments.groovy.
  • Extended command-line parsing in ArgsParser.groovy and updated processing in RunSootAnalysisOutputProcessor.groovy and Main.groovy.
  • Modified ScenarioReader.groovy to robustly retrieve CSV values using new helper functions.

Reviewed Changes

Copilot reviewed 7 out of 7 changed files in this pull request and generated 2 comments.

Show a summary per file
File Description
src/main/services/outputProcessors/soot/arguments/Arguments.groovy Added new boolean flags with associated getter and setter methods.
src/main/services/outputProcessors/soot/arguments/ArgsParser.groovy Introduced new CLI options and parsing for OA Without PA flags.
src/main/services/outputProcessors/soot/ScenarioReader.groovy Added helper methods for CSV column extraction with try-catch blocks.
src/main/services/outputProcessors/soot/RunSootAnalysisOutputProcessor.groovy Added new conflict detection algorithm instantiation for new options.
src/main/services/outputProcessors/soot/README.md Updated documentation with the new command-line options.
src/main/services/outputProcessors/soot/Main.groovy Integrated new options into detection algorithm list.

pauloborba
pauloborba previously approved these changes May 13, 2025
@pauloborba pauloborba merged commit e91e83c into spgroup:master Jul 19, 2025
1 of 2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants