Florian Wendland
Florian Wendland
We're using [Spotless](https://github.com/diffplug/spotless) to enforce a consistent programming style. Currently, we're applying Spotless before the compilation step. As a result, Spotless checks will always succeed. The downside is that checked...
In MARK entities we can define `op`s. They collect functions/methods with a common purpose but different signatures. To differentiate between functions/methods with the same name we can provide type specifiers...
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...
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...
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...
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...
MARK currently support only error messages. When a check fails, an error is produced and the corresponding message can be printed. In some cases, a rule may not fail outright...
Software libraries may use bitfields and bitmasks to track configuration options. Options can be included, combined or excluded. In the end, there will be a bitfield with each bit representing...
**Problem:** Programms may use hardcoded/static passwords, IVs or salts for cryptographic operations. For example, devices may ship with a default password that is coded into the software/firmware. These information often...
**Is your feature request related to a problem? Please describe.** We're pulling the OpenAPI specification for the different Clouditor components into another project. Currently, it's quite difficult for us to...