GitHub repository: sslab-keio/FiTx
Primary language: C++
Description: Bug detection framework for finding Finger tracable bugs in Linux