codyze
codyze copied to clipboard
Codyze is a static analyzer for Java, C, C++ based on code property graphs
**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...
[](https://renovatebot.com) This PR contains the following updates: | Package | Change | Age | Adoption | Passing | Confidence | |---|---|---|---|---|---| | [io.github.detekt.sarif4k:sarif4k](https://detekt.github.io/detekt) ([source](https://togithub.com/detekt/sarif4k)) | `0.5.0` -> `0.6.0` |...
Clean up
Clean up the code a little bit
When following the instructions in the readme, `./gradlew run --args="analyze"` does not work: ``` Type-safe project accessors is an incubating feature. > Task :codyze-cli:run FAILED [INFO] [Koin] Started 7 definitions...
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 contains the following updates: | Package | Change | Age | Adoption | Passing | Confidence | |---|---|---|---|---|---| | [org.jetbrains.kotlin:kotlin-gradle-plugin](https://kotlinlang.org/) ([source](https://redirect.github.com/JetBrains/kotlin)) | `1.9.25` -> `2.0.21` | [](https://docs.renovatebot.com/merge-confidence/) |...
This PR is an initial structure to execute CPG native queries on a CPG backend to generate findings associated with CPG nodes. An exampel to executed the `ExampleQuery`: ``` ./gradlew...
[](https://renovatebot.com) This PR contains the following updates: | Package | Change | Age | Adoption | Passing | Confidence | |---|---|---|---|---|---| | [io.mockk:mockk](https://mockk.io) ([source](https://togithub.com/mockk/mockk)) | `1.13.10` -> `1.13.11` |...
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...