Florian Wendland

Results 26 issues of Florian Wendland

# Stack trace When using the console for `v4.6.2` with the example file `cpg-console/src/test/resources/array.cpp` I'm getting: ``` [25] var expr = result.all().map { Triple( it.subscriptExpression.evaluate() as Int, it.arrayExpression.dfgFrom().first().capacity, it )...

bug
documentation
console

Some of our dependencies are assembled directly from their GitHub project. We use JitPack to provide a Maven repo. However, the URL is not recognized by Renovate resulting in warnings....

dependencies

We're preparing for archiving Codyze v2. This removes unused parts from the build script and cleans it up.

maintenance

Reduce the linkage of external content on our project's website. - [x] Fonts by MkDocs - [x] Included Fontawesome on landing page - [x] Youtube video about Codyze - [x]...

documentation
enhancement

We've developed a new analysis tool employing code property graphs (cf. [DOI:10.1109/SP.2014.44](https://doi.org/10.1109/SP.2014.44)) to detect vulnerable code patterns in Solidity source code. _CPG Contract Checker_, _CCC_ for short, uses our implementation...

CPG supports compilation databases to identify project related files. We pull the configuration option through and add support for it from Codyze.

enhancement