klee

LLVM Execution Engine

KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure, and available under the UIUC open source license. For more information on what KLEE is and what it can do, see the OSDI 2008 paper.

Er is geen officieel pakket voor openSUSE Leap 15.6 beschikbaar

Distributies

openSUSE Tumbleweed

officiële uitgave Officieel
3.1+20241105

openSUSE Leap 15.5

Niet-ondersteunde distributies

Volgende distributies worden niet officieel ondersteund. Gebruik deze pakketten op eigen risico.