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

Abstract Value Analysis #1759

Open
wants to merge 61 commits into
base: main
Choose a base branch
from

changed the name of the Value classes to prevent confusion with built…

6557a39
Select commit
Loading
Failed to load commit list.
Open

Abstract Value Analysis #1759

changed the name of the Value classes to prevent confusion with built…
6557a39
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Nov 18, 2024 in 1s

76.47% of diff hit (target 75.00%)

View this Pull Request on Codecov

76.47% of diff hit (target 75.00%)

Annotations

Check warning on line 82 in cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/AbstractEvaluator.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/AbstractEvaluator.kt#L82 

Added line #L82 was not covered by tests

Check warning on line 115 in cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/AbstractEvaluator.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/AbstractEvaluator.kt#L114-L115 

Added lines #L114 - L115 were not covered by tests

Check warning on line 119 in cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/AbstractEvaluator.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/AbstractEvaluator.kt#L119 

Added line #L119 was not covered by tests

Check warning on line 122 in cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/AbstractEvaluator.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/AbstractEvaluator.kt#L121-L122 

Added lines #L121 - L122 were not covered by tests

Check warning on line 157 in cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/AbstractEvaluator.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/AbstractEvaluator.kt#L157 

Added line #L157 was not covered by tests

Check warning on line 165 in cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/AbstractEvaluator.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/AbstractEvaluator.kt#L162-L165 

Added lines #L162 - L165 were not covered by tests

Check warning on line 170 in cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/AbstractEvaluator.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/AbstractEvaluator.kt#L170 

Added line #L170 was not covered by tests

Check warning on line 182 in cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/AbstractEvaluator.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/AbstractEvaluator.kt#L182 

Added line #L182 was not covered by tests

Check warning on line 218 in cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/AbstractEvaluator.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/AbstractEvaluator.kt#L218 

Added line #L218 was not covered by tests

Check warning on line 224 in cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/AbstractEvaluator.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/AbstractEvaluator.kt#L224 

Added line #L224 was not covered by tests

Check warning on line 93 in cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt#L93 

Added line #L93 was not covered by tests

Check warning on line 132 in cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt#L132 

Added line #L132 was not covered by tests

Check warning on line 145 in cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt#L145 

Added line #L145 was not covered by tests

Check warning on line 158 in cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt#L158 

Added line #L158 was not covered by tests

Check warning on line 171 in cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt#L171 

Added line #L171 was not covered by tests

Check warning on line 184 in cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt#L184 

Added line #L184 was not covered by tests

Check warning on line 197 in cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt#L197 

Added line #L197 was not covered by tests

Check warning on line 210 in cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt#L210 

Added line #L210 was not covered by tests

Check warning on line 226 in cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt#L226 

Added line #L226 was not covered by tests

Check warning on line 282 in cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt#L282 

Added line #L282 was not covered by tests

Check warning on line 292 in cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt#L292 

Added line #L292 was not covered by tests

Check warning on line 374 in cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt#L374 

Added line #L374 was not covered by tests

Check warning on line 381 in cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt#L381 

Added line #L381 was not covered by tests

Check warning on line 397 in cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt#L397 

Added line #L397 was not covered by tests

Check warning on line 452 in cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-analysis/src/main/kotlin/de/fraunhofer/aisec/cpg/analysis/abstracteval/LatticeInterval.kt#L452 

Added line #L452 was not covered by tests
View more details on Codecov