Factory > Showcase > Klint
Name:
Klint
Description:
Automated verification of network function binaries
Professor — Lab:
George Candea — Dependable Systems Lab
Layman description:
Network functions are building blocks for "networks:" a router, a NAT or anything transforming packets. As it is handling all the traffic for a given infrastructure, it is crucial that it is implemented correctly. Klint helps in building and verifying theses functions.
Papers:
Project status:
active — entered showcase: 2022-07-05 — entry updated: 2024-03-08
Factory Development:
For this project we implemented extended Berkley Packet Filtering (eBPF) support, so that the software verification can also be done for this type of code.
C4DT Contact:
C4DT team
Source code:
Lab GitHub - last commit: 2024-02-19
Code quality:
Prototype
Project type:
Toolset
Programming language:
C, Python
License:
MIT