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.

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

Simplified and more basic fixpoint iteration #1810

Draft
wants to merge 18 commits into
base: main
Choose a base branch
from

Merge branch 'main' into ak/fixpointv2

5bd0ad2
Select commit
Loading
Failed to load commit list.
Draft

Simplified and more basic fixpoint iteration #1810

Merge branch 'main' into ak/fixpointv2
5bd0ad2
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch failed Nov 18, 2024 in 0s

73.63% of diff hit (target 75.00%)

View this Pull Request on Codecov

73.63% of diff hit (target 75.00%)

Annotations

Check warning on line 110 in cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/BasicLattices.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/BasicLattices.kt#L110

Added line #L110 was not covered by tests

Check warning on line 126 in cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/BasicLattices.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/BasicLattices.kt#L126

Added line #L126 was not covered by tests

Check warning on line 163 in cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/BasicLattices.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/BasicLattices.kt#L163

Added line #L163 was not covered by tests

Check warning on line 168 in cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/BasicLattices.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/BasicLattices.kt#L168

Added line #L168 was not covered by tests

Check warning on line 220 in cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/BasicLattices.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/BasicLattices.kt#L220

Added line #L220 was not covered by tests

Check warning on line 226 in cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/BasicLattices.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/BasicLattices.kt#L226

Added line #L226 was not covered by tests

Check warning on line 36 in cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/EOGWorklist.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/EOGWorklist.kt#L36

Added line #L36 was not covered by tests

Check warning on line 38 in cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/EOGWorklist.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/EOGWorklist.kt#L38

Added line #L38 was not covered by tests

Check warning on line 41 in cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/EOGWorklist.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/EOGWorklist.kt#L40-L41

Added lines #L40 - L41 were not covered by tests

Check warning on line 45 in cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/EOGWorklist.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/EOGWorklist.kt#L44-L45

Added lines #L44 - L45 were not covered by tests

Check warning on line 50 in cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/EOGWorklist.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/EOGWorklist.kt#L48-L50

Added lines #L48 - L50 were not covered by tests

Check warning on line 52 in cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/EOGWorklist.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/EOGWorklist.kt#L52

Added line #L52 was not covered by tests

Check warning on line 55 in cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/EOGWorklist.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/EOGWorklist.kt#L54-L55

Added lines #L54 - L55 were not covered by tests

Check warning on line 60 in cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/EOGWorklist.kt

See this annotation in the file changed.

@codecov codecov / codecov/patch

cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/functional/EOGWorklist.kt#L60

Added line #L60 was not covered by tests