Scott Moore

icon indicating a website link www.thinkmoore.net icon indicating an email [email protected]

icon company @GaloisInc

Results 2 repositories owned by Scott Moore

llvm-analysis

19
Stars
5
Forks
Watchers

Static analysis for llvm

verified publisher icon thinkmoore

llvm-deps

18
Stars
6
Forks
Watchers

Inter-procedural analysis framework and dependency/information-flow analysis for LLVM

verified publisher icon thinkmoore