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, engage with us on Discord!

• Meeting Minutes

Interact

• Mailing List

Meeting Times

• Calendar
  • Look for the "Tools WG Meeting"
  • Click on the entry and select "Register" to get an invite.

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.
  • Live Demo Instance: http://elisa-builder-00.iol.unh.edu:9056/
• DeltaKernel
  • Kernel change impact analysis tool which creates visualization of kernel differences between versions

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