uxhg

Singapore

Pinned Repositories

ClangEx
A Clang-based C/C++ fact extractor. Generates a tuple-attribute file from corresponding source code facts.
Language:C++00
codeql
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security (code scanning), LGTM.com, and LGTM Enterprise
Language:CodeQL00
doccon-artifact
DocCon is an automated tool for identifying Solidity smart contract API documentation errors
Language:Shell0 1 00
genMutator
Language:Java0 1 00
JProgInsight
Language:Java00
libup-test-fail
Language:Rust0 4 00
lm-evaluation-harness
A framework for few-shot evaluation of language models.
Language:Python0 0 00
uxhg
00

uxhg's Repositories

uxhg/ClangEx
A Clang-based C/C++ fact extractor. Generates a tuple-attribute file from corresponding source code facts.
Language:C++00
uxhg/codeql
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security (code scanning), LGTM.com, and LGTM Enterprise
Language:CodeQL00
uxhg/doccon-artifact
DocCon is an automated tool for identifying Solidity smart contract API documentation errors
Language:Shell0 1 00
uxhg/genMutator
Language:Java0 1 00
uxhg/JProgInsight
Language:Java00
uxhg/libup-test-fail
Language:Rust0 4 00
uxhg/lm-evaluation-harness
A framework for few-shot evaluation of language models.
Language:Python0 0 00
uxhg/mwe-codeql-2021-03-24
Language:Java0 1 00
uxhg/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Language:C++0 0 00
uxhg/souffle-lang.github.io
Soufflé
Language:HTML0 0 00
uxhg/uxhg
00
uxhg/ProgramChecker-ncs
Language:Java