Lingfeng Jin's repositories
certificate-photo
一个生成证件照的小程序,微信云原生开发小程序。 只fork不star是很没品的。
checker-framework
Pluggable type-checking for Java
Concurrent-Patterns-and-Best-Practices
Concurrent Patterns and Best Practices, published by Packt
demo
同来测试一些东西
dingo-hunter
Static analyser for finding Deadlocks in Go
Effective-Java-3rd-edition-Chinese-English-bilingual
Effective Java(第3版)各章节的中英文学习参考(已完成)
findbugs
The new home of the FindBugs project
icspa-public-guide
Guide for ICSPA MOOC
jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
lockbud
Statically detect Rust deadlocks bugs
ml4se
A curated list of papers, theses, datasets, and tools related to the application of Machine Learning for Software Engineering
mostly-adequate-guide-video-zh
函数式编程指南的中文讲解系列视频 Mostly Adequate Guide to Functional Programming
pg-lock-tracer
A eBPF based lock tracer for the PostgreSQL database
pic
床图
PL-Compiler-Resource
程序语言与编译技术相关资料(持续更新中)
PracticalSkillsTutorial
浙江大学系列朋辈辅学「实用技能拾遗」课程资料仓库
sicp-lectures
lecture slides and in-class demos of sicp
static-analysis-
静态分析基础教程
Tai-e-assignments
Tai-e assignments for static program analysis
Tai-ekyb
An easy-to-learn/use static analysis framework for Java
TaintMini
Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis
test_example
测试一些特性、示例