Implement initial PoC for checking return values #846
54.38% of diff hit (target 82.39%)
View this Pull Request on Codecov
54.38% of diff hit (target 82.39%)
Annotations
codecov / codecov/patch
codyze-backends/cpg/src/main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/CokoCpgBackend.kt#L97
Added line #L97 was not covered by tests
codecov / codecov/patch
codyze-backends/cpg/src/main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/dsl/DataItemCpgDsl.kt#L33
Added line #L33 was not covered by tests
codecov / codecov/patch
codyze-backends/cpg/src/main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/dsl/DataItemCpgDsl.kt#L36
Added line #L36 was not covered by tests
codecov / codecov/patch
codyze-backends/cpg/src/main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/dsl/DataItemCpgDsl.kt#L56
Added line #L56 was not covered by tests
codecov / codecov/patch
codyze-backends/cpg/src/main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/dsl/DataItemCpgDsl.kt#L58
Added line #L58 was not covered by tests
codecov / codecov/patch
codyze-backends/cpg/src/main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/dsl/DataItemCpgDsl.kt#L60-L63
Added lines #L60 - L63 were not covered by tests
codecov / codecov/patch
codyze-backends/cpg/src/main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/dsl/DataItemCpgDsl.kt#L73-L74
Added lines #L73 - L74 were not covered by tests
codecov / codecov/patch
codyze-backends/cpg/src/main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/dsl/ImplementationDsl.kt#L47-L52
Added lines #L47 - L52 were not covered by tests
codecov / codecov/patch
codyze-backends/cpg/src/main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/evaluators/CpgWheneverEvaluator.kt#L51-L54
Added lines #L51 - L54 were not covered by tests
codecov / codecov/patch
codyze-backends/cpg/src/main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/evaluators/CpgWheneverEvaluator.kt#L59-L62
Added lines #L59 - L62 were not covered by tests
codecov / codecov/patch
codyze-backends/cpg/src/main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/evaluators/CpgWheneverEvaluator.kt#L78-L79
Added lines #L78 - L79 were not covered by tests
codecov / codecov/patch
codyze-backends/cpg/src/main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/evaluators/CpgWheneverEvaluator.kt#L84-L86
Added lines #L84 - L86 were not covered by tests
codecov / codecov/patch
codyze-backends/cpg/src/main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/evaluators/CpgWheneverEvaluator.kt#L89
Added line #L89 was not covered by tests
codecov / codecov/patch
codyze-backends/cpg/src/main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/evaluators/CpgWheneverEvaluator.kt#L92
Added line #L92 was not covered by tests
codecov / codecov/patch
codyze-backends/cpg/src/main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/evaluators/CpgWheneverEvaluator.kt#L121-L126
Added lines #L121 - L126 were not covered by tests
codecov / codecov/patch
codyze-backends/cpg/src/main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/evaluators/CpgWheneverEvaluator.kt#L145-L150
Added lines #L145 - L150 were not covered by tests
codecov / codecov/patch
codyze-backends/cpg/src/main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/evaluators/CpgWheneverEvaluator.kt#L155
Added line #L155 was not covered by tests
codecov / codecov/patch
codyze-backends/cpg/src/main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/evaluators/CpgWheneverEvaluator.kt#L158-L162
Added lines #L158 - L162 were not covered by tests
codecov / codecov/patch
codyze-backends/cpg/src/main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/evaluators/CpgWheneverEvaluator.kt#L175
Added line #L175 was not covered by tests
codecov / codecov/patch
codyze-backends/cpg/src/main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/evaluators/CpgWheneverEvaluator.kt#L177
Added line #L177 was not covered by tests
codecov / codecov/patch
codyze-backends/cpg/src/main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/evaluators/CpgWheneverEvaluator.kt#L190
Added line #L190 was not covered by tests
codecov / codecov/patch
codyze-backends/cpg/src/main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/evaluators/CpgWheneverEvaluator.kt#L200
Added line #L200 was not covered by tests
codecov / codecov/patch
codyze-backends/cpg/src/main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/evaluators/CpgWheneverEvaluator.kt#L202
Added line #L202 was not covered by tests
codecov / codecov/patch
codyze-backends/cpg/src/main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/evaluators/CpgWheneverEvaluator.kt#L212
Added line #L212 was not covered by tests
codecov / codecov/patch
codyze-backends/cpg/src/main/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/evaluators/CpgWheneverEvaluator.kt#L214
Added line #L214 was not covered by tests