codyze

codyze copied to clipboard

when try to scan a directory, it seems that only one file is scanned, is it a bug?

3

codyze vision: 1.4.1 scanning folder: [install dir]\bin\codyze.bat -c -s [folder] -m [install dir]\mark scanning file: [install dir]\bin\codyze.bat -c -s [folder\RSAPadding.java] -m [install dir]\mark In the folder, there are many java...

HTQianqian

Plugins for IntelliJ and VSCode

3

Would be nice, since both have a greater "market share" than eclipse.

oxisto

Inconsistencies when using C-style code and the WPDS

4

See https://github.com/Fraunhofer-AISEC/codyze/tree/mk/wpdscstyle for a test case. This branch just takes the Botan cpp testcases and mimics the behavior for an imaginary C - API. The results should not differ, but...

maximiliankaul

Errors found by Codyze do not turn red.

1

I built Codyze project from the main branch and I use it in Eclipse to detect misuses. But now the error and verify markers appear the same and the errors...

shahrzadav

Unfinished loading finding descriptions in LSP

2

When using the LSP interface with Eclipse the `findingDescription.json` isn't fully loaded and parsed, before it's used. Here is an excerpt from a log file: > 19:16:20,710 INFO AnalysisServer Registering...

fwendland

Dependency issue with slf4j

4

Recently, I've seen the following exception pertaining to slf4j ``` Sep 16, 2021 9:33:06 AM org.junit.platform.launcher.core.EngineDiscoveryOrchestrator lambda$logTestDescriptorExclusionReasons$7 INFO: 0 containers and 7 tests were Method or class mismatch Unexpected problem...

fwendland

Writing new MARK rules

4

I tried to make new MARK rules for JCA. I created an entity file and a rule file for each class and I write rules like this: ``` ... rule...

shahrzadav

Type state analysis for whole programs seems broken

1

Running a type state analysis using the whole program analysis method, runs for a very long time. I haven't checked whether it terminates eventually. However, I'm assuming there is an...

fwendland

Unknown files in mark folder

1

In the mark folder of this repository, there are some files as RulesTR_*.mark or RulesTR_*.txt, which there is no explanation for them on the Codyze documentation page. I think they...

shahrzadav

MARK supports lists that can also act as sets. There are cases, where one wants to test, whether something is an element in the list/set or whether to lists contain...

fwendland