kudu-dynamics
Results
1
repositories owned by
kudu-dynamics
blaze
40
Stars
3
Forks
Watchers
A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.
