Pinned Repositories
ase2017-results-and-tools
The experimental results and tools for our submission to ASE 2017
consensus-specs
Ethereum Proof-of-Stake Consensus Specifications
example-cpp-makefile
An example C++ project using Makefile to demonstrate SourceClear scans.
example-go-govendor
An example Go project using Govendor package manager to demonstrate SourceClear scans.
example-java-maven
Example project to demonstrate srcclr scans
grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
klee
KLEE Symbolic Execution Engine
react-complete-guide-code
Code snapshots and materials for our "React - The Complete Guide" course (https://acad.link/reactjs)
SmartMuv
A smart contract analysis and state extraction tool.
solidity
Solidity, the Contract-Oriented Programming Language
spencerxiao's Repositories
spencerxiao/ase2017-results-and-tools
The experimental results and tools for our submission to ASE 2017
spencerxiao/consensus-specs
Ethereum Proof-of-Stake Consensus Specifications
spencerxiao/example-cpp-makefile
An example C++ project using Makefile to demonstrate SourceClear scans.
spencerxiao/example-go-govendor
An example Go project using Govendor package manager to demonstrate SourceClear scans.
spencerxiao/example-java-maven
Example project to demonstrate srcclr scans
spencerxiao/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
spencerxiao/klee
KLEE Symbolic Execution Engine
spencerxiao/react-complete-guide-code
Code snapshots and materials for our "React - The Complete Guide" course (https://acad.link/reactjs)
spencerxiao/SmartMuv
A smart contract analysis and state extraction tool.
spencerxiao/solidity
Solidity, the Contract-Oriented Programming Language