CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
-
Updated
Apr 18, 2026 - Java
CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
An automatic API misuse checker for C programs!
A flow, context and object-sensitive inter-procedural static analysis tool for misuse detection of AsyncTask
An agent for auditing repositories of traces for violations of safety properties. Automatically finds cheating (task-level gaming and harness-level cheating) on top benchmarks.
📈 Analyze and visualize cryptocurrency trends and statistics in Indian Rupees (INR) with an interactive dashboard built using Streamlit and Plotly.
Add a description, image, and links to the misuse-detection topic page so that developers can more easily learn about it.
To associate your repository with the misuse-detection topic, visit your repo's landing page and select "manage topics."