ELISA Tooling and Code Improvement Working Group

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

• Meeting Minutes

Interact

• Mailing List

Meeting Times

• 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

Our Work

Kernel Static Analysis

• 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/

Tools

• 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 CIs

• 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

External Links

• ELISA Home