Implement initial PoC for checking return values#846

Merged

fwendland merged 28 commits intomainfrom sl/concept-translator

Apr 15, 2024

+2,109-56

Commits on Apr 11, 2024

add new Op type GroupingOp

seelchen
authored and
fwendland
committed
first draft for translating concepts files into coko scripts

seelchen
authored and
fwendland
committed
formatting and add comments

seelchen
authored and
fwendland
committed
move translation to own class and implement imports of concepts files

seelchen
authored and
fwendland
committed
add the definition of the concepts files and implement some simple tests of the translation

seelchen
authored and
fwendland
committed
first draft for an evaluator that looks syntactically similar to concept rules

seelchen
authored and
fwendland
committed
add concept of data items for modelling

seelchen
authored and
fwendland
committed
rename file to have same name as class

seelchen
authored and
fwendland
committed
continue development of whenever evaluator

seelchen
authored and
fwendland
committed
change the interface structure of DataItem, ConditionComponents and TransformationResult

seelchen
authored and
fwendland
committed
start implementing the WheneverEvaluator for the cpg backend

seelchen
authored and
fwendland
committed
add new type of Op that represents a dependency between two Ops

seelchen
authored and
fwendland
committed
add a implementation of the bsi-tr-rules interfaces for jca and a test java file

seelchen
authored and
fwendland
committed
formatting

seelchen
authored and
fwendland
committed
finish implementing cpgGetNodes for DataItems and change the return type for cpgGetNodes for Ops

seelchen
authored and
fwendland
committed
change CallAssertion to inherit from CallConditionComponent

seelchen
authored and
fwendland
committed
implement toString functions for ConditionComponents

seelchen
authored and
fwendland
committed
implement some parts of the CpgWheneverEvaluator

seelchen
authored and
fwendland
committed
change CpgWheneverEvaluator to be able to give more info in findings

seelchen
authored and
fwendland
committed
implement mode for JCACipherImpl

seelchen
authored and
fwendland
committed
clean up and add comments/documentation

seelchen
authored and
fwendland
committed
add very simple test for WheneverEvaluator

seelchen
authored and
fwendland
committed
Add fixes for CPG v8, Detekt and Spotless
fwendland
committed
Merge branch 'main' into sl/concept-translator
fwendland
authored
Fix more detekt issues
fwendland
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Implement initial PoC for checking return values#846

Commits on Apr 11, 2024

add new Op type GroupingOp

first draft for translating `concepts` files into coko scripts

formatting and add comments

move translation to own class and implement imports of concepts files

add the definition of the concepts files and implement some simple tests of the translation

first draft for an evaluator that looks syntactically similar to concept rules

add concept of data items for modelling

rename file to have same name as class

continue development of whenever evaluator

change the interface structure of DataItem, ConditionComponents and TransformationResult

start implementing the WheneverEvaluator for the cpg backend

add new type of Op that represents a dependency between two Ops

add a implementation of the bsi-tr-rules interfaces for jca and a test java file

formatting

finish implementing cpgGetNodes for DataItems and change the return type for cpgGetNodes for Ops

change CallAssertion to inherit from CallConditionComponent

implement toString functions for ConditionComponents

implement some parts of the CpgWheneverEvaluator

change CpgWheneverEvaluator to be able to give more info in findings

implement mode for JCACipherImpl

clean up and add comments/documentation

add very simple test for WheneverEvaluator

Add fixes for CPG v8, Detekt and Spotless

Merge branch 'main' into sl/concept-translator

Fix more detekt issues

Commits on Apr 15, 2024

update user feedback on wrong spec input

Merge branch 'main' into sl/concept-translator

Merge branch 'main' into sl/concept-translator