Robert Haimerl
Robert Haimerl
Tests using [AbstractMarkTest](https://github.com/Fraunhofer-AISEC/codyze/blob/main/src/test/java/de/fraunhofer/aisec/codyze/crymlin/AbstractMarkTest.kt).performTest() (e. g. BotanRulesTest) throw a RuntimeException if the path to the mark files contains a whitespace (tested on Windows). > . . . 13:54:01,709 INFO AnalysisServer Parsing...
Semi-recent restructurings in the project repository broke the `upgrade` workflow that checks the build on different OS with different Java versions. This PR fixes the workflow and removes the masking...
**This PR adds Plugins to Codyze.** Plugins utilize the functionality of other analysis tools and combine them with Codyze. Each Plugin registers its own subcommand, which takes arguments such as...
the Statement "Roll X into Y" does not work. Translates in python to either "Roll_X into Y" or "roll X into Y" (depending on capitalization of "Roll". From the [Rockstar...
This PR adds a `Precedes` evaluator to Coko that acts as an inverted `Follows` evaluator. It finds instances of the right hand argument and checks whether it is preceded by...
This PR aims to upgrade the CPG-dependency to version 7 while still maintaining the full functionality of the CloudPG. The work done in this PR also includes changes from @oxisto...
:warning: This PR does not merge into main, but is an extension to #62 :warning: This PR tries to prepare switching from CPGv7 to CPGv8. Tasks Include: - [x] Fix...
# Unexpected behavior **When analyzing Java code that includes static method calls, the inferred FQN appears to be wrong and inconsistent depending on the kind of the call.** **Expectation:** Using...
The `Only`- and `Never`-Evaluators have a lot of overlap in their logic, which makes sense regarding their very similar purpose. However, this also causes them to use duplicated code to...
This PR adds an `ArgumentOrigin` evaluator to Coko that verifies the origin of an argument. It finds instances of the target `Op` and checks whether the argument at the specified...