yisun92's repositories
CraftDroid
Test Transfer Across Mobile Apps Through Semantic Mapping (ASE'19)
Language:PythonMIT000
CulebraTester2-public
CulebraTester: Snaky Android Testing
Language:KotlinApache-2.0000
000
Language:Rust000
LingL
clone of lingq to learn new language
Language:CSSGPL-3.0000
Maxim
高速uiautomator控件解析算法的Android Monkey, 每秒10-15个Action Event。实现快速DFS算法的Android Monkey , 每秒 5个Action Event。
Language:Kotlin000
slither
Static Analyzer for Solidity
Language:PythonAGPL-3.0000
solang
Solidity Compiler for Solana and Substrate
Language:RustApache-2.0000
Stoat
Stoat (STochastic model App Tester) - an automatic testing tool for android apps
Language:Python000
SVF-example
An external project example using SVF as a library
Language:C++000
yisun92.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
Language:JavaScriptMIT000