Weitian Xing's repositories
pg_plugins
Gathering of template plugins for PostgreSQL: background workers, logical replication things, etc.
daikon
Dynamic detection of likely invariants
configfile-checker
An enhanced Value Checker for checking property values.
checkerframework-gradle-plugin
Gradle plugin to use the Checker Framework for Java
mkdocs-bootstrap4
Bootstrap 4.0+ theme for MkDocs
jackpine
JackPine - A Geospatial Benchmark (Version 2.0)
intellij-community
IntelliJ IDEA Community Edition
Apktool
A tool for reverse engineering Android apk files
dex2jar
Tools to work with android .dex and java .class files
security-samples
Multiple samples showing the best practices in security APIs on Android.
springBoot-demos
springBoot-demos基于1.5.x版本
WatStats
Android app that displays Watcard statistics
universe
Generic Universe Type System
markdown-here
Google Chrome, Firefox, and Thunderbird extension that lets you write email in Markdown and render it before sending.
KevDownloader
This downloader install a malicious Android app. This POC is inspired from the KevDroid malware
gitignore
A collection of useful .gitignore templates
hello_fdw
Hello world example for PostgreSQL's foreign data wrapper(FDW)
spyapp_android
2015 JAC Malicious Android App Project. For study purpose only
tee-checker
Detection of TEEs on Android devices