The Tool Investigation and Code Improvement WG focuses on application of tools, handling the tool results, and improving the kernel based on the tools’ feedback.
For more information, contact the working group chair, Matt Kelly
- 2nd Tuesday of the month @ 9:30 AM EST / 2:30 PM UTC
- 4th Thursday of the month @ 11:00 AM EST / 4:00 PM UTC
- Calendar
- CodeChecker Instance: https://elisa-builder-00.iol.unh.edu:8001/
- Syzkaller Instance: https://elisa-builder-00.iol.unh.edu/syzkaller/
- Syzkaller-next Instance: https://elisa-builder-00.iol.unh.edu/syzkaller/
- ks-nav
- Toolset designed to assist developers and engineers in analyzing kernel source code, understanding function call trees, and generating informative diagrams.
- BASIL
- Tool developed to support software specification analysis and testable requirements definition.
- ELISA Automotive WG meta-elisa CI
- Yocto build of AGL profile for Automotive WG
- ELISA Automotive OpenQA CI
- Verification test of Automotive CI products via OpenQA
- ELISA System WG CI