secucheck
secucheck copied to clipboard
secure-software-engineering
Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to support multiple IDEs.
Hi, I'm trying to make some experiments with this tool but when I try to write the specifications the following problem appears (with the pom): "Could not find artifact de.fraunhofer.iem.secucheck:de.fraunhofer.iem.secucheck.InternalFluentTQL:jar:SC-1.1.0...
Hello, I found that the seeds are of type ForwardQuery, and after solving it with Boomerang, the result seems to be all the edges reachable from the seed on the...
Hello, I want to confirm whether secucheck supports interprocedural analysis? Thanks!
When I run secucheck, the console outputs the following：  and I want to know what does the "seeds" mean? I can't find any explanation in the paper [https://ieeexplore.ieee.org/document/9610678](url), can...
When I run secucheck-cmd.jar at the command line following the readme file, I can't find the path "/secucheck/catalog/" and the path "\SC-1.1.0\secucheck-catalog\", can you help me?
Hi, does secucheck support taint-analysis for Android Apk without source code?
Metadata
Owner
Metadata
Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to support multiple IDEs.