End-to-end static analysis for extract GUI information and check them against Datalog-flavour spec
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool