Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Display positions in SourceDuplicate errors #741

Closed
wants to merge 1 commit into from
Closed

Display positions in SourceDuplicate errors #741

wants to merge 1 commit into from

Commits on Jun 2, 2023

  1. Display positions in SourceDuplicate errors 

    Previously when SourceDuplicate errors occured, we just left a note
specifying the duplicate name. Now we can specify the locations where
the duplicates occured.

Modifies annotationParser as annotationParser.source_or_sink is where
the sink or source is parsed into from taint.config files to contain the
location information to be used incase duplicates occur.

Modifies and updates tests to confirm and check the new record field and
type of SourceDuplicate error.

Signed-off-by: Abishek V Ashok <[email protected]>
    @abishekvashok
    abishekvashok committed Jun 2, 2023
    Configuration menu
    Copy the full SHA
    4fcdf0a View commit details
    Browse the repository at this point in the history