Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
Codyze is a static analyzer for Java, C, C++ based on code property graphs
Symbolic/concolic execution of Android apps
IoT edge platform "Trusted Connector" of the International Data Spaces. Based on Apache Karaf, includes Camel message routing, a Camel component for remote attestation with other connectors, and a …
Eclipse LSP adapter for the Codyze static code analyzer
A library to extract Code Property Graphs from C/C++ and Java
Seeing something unexpected? Take a look at the
GitHub profile guide.