domainexpert

Which domain?

Singapore

Pinned Repositories

bakery
0 1 00
branch-probability
Example usage of BranchProbabilityInfo function pass.
Language:C++1 2 00
bug-checker-passes
LLVM passes to analyze C programs to detect violations of secure coding guideline
Language:C++1 3 00
cfg-example
Soot Jimple intraprocedural CFG traversal example
Language:Java1 2 01
gep-expr-example
Example in reading operands of constant expression GEP
Language:C++0 2 00
lvi-example
LLVM LazyValueInfo test
Language:C++0 2 00
sarathi
A CLI coding assistant
Language:Python00
sootexamples
Towards creating ready-to-run examples from "A Survivor's Guide to Java Program Analysis with Soot" and Vallee-Rai's Master's thesis
Language:Java5 2 06
trip-counter
LLVM loop trip count calculation tester
Language:C++1 2 10
soot
Soot - A Java optimization framework
Language:Java2.9k 102 1.2k712

domainexpert's Repositories

domainexpert/sootexamples
Towards creating ready-to-run examples from "A Survivor's Guide to Java Program Analysis with Soot" and Vallee-Rai's Master's thesis
Language:Java5 2 06
domainexpert/branch-probability
Example usage of BranchProbabilityInfo function pass.
Language:C++1 2 00
domainexpert/bug-checker-passes
LLVM passes to analyze C programs to detect violations of secure coding guideline
Language:C++1 3 00
domainexpert/cfg-example
Soot Jimple intraprocedural CFG traversal example
Language:Java1 2 01
domainexpert/trip-counter
LLVM loop trip count calculation tester
Language:C++1 2 10
domainexpert/bakery
0 1 00
domainexpert/gep-expr-example
Example in reading operands of constant expression GEP
Language:C++0 2 00
domainexpert/lvi-example
LLVM LazyValueInfo test
Language:C++0 2 00
domainexpert/sarathi
A CLI coding assistant
Language:Python00