AlexanderEichler

TUM StudentDeutschland

Pinned Repositories

analyzer
The goblint static analysis framework
Language:OCaml00
goblint-analysis-action
Github Action for the Goblint analyzer
Language:JavaScript00
java-docs-samples
Language:Java00
testCRepo
Language:C00
analyzer
Static analysis framework for C
Language:OCaml185 19 64976

AlexanderEichler's Repositories

AlexanderEichler/analyzer
The goblint static analysis framework
Language:OCaml00
AlexanderEichler/goblint-analysis-action
Github Action for the Goblint analyzer
Language:JavaScript00
AlexanderEichler/java-docs-samples
Language:Java00
AlexanderEichler/testCRepo
Language:C00