https://github.com/klee/klee

Skip to content

Navigation Menu

Toggle navigation
 
Sign in

  * Product
      +  
        Actions
        Automate any workflow
      +  
        Packages
        Host and manage packages
      +  
        Security
        Find and fix vulnerabilities
      +  
        Codespaces
        Instant dev environments
      +  
        GitHub Copilot
        Write better code with AI
      +  
        Code review
        Manage code changes
      +  
        Issues
        Plan and track work
      +  
        Discussions
        Collaborate outside of code
    Explore
      + All features
      + Documentation
      + GitHub Skills
      + Blog
  * Solutions
    By size
      + Enterprise
      + Teams
      + Startups
    By industry
      + Healthcare
      + Financial services
      + Manufacturing
    By use case
      + CI/CD & Automation
      + DevOps
      + DevSecOps
  * Resources
    Topics
      + AI
      + DevOps
      + Security
      + Software Development
      + View all
    Explore
      + Learning Pathways
      + White papers, Ebooks, Webinars
      + Customer Stories
      + Partners
  * Open Source
      +  
        GitHub Sponsors
        Fund open source developers
      +  
        The ReadME Project
        GitHub community articles
    Repositories
      + Topics
      + Trending
      + Collections
  * Enterprise
      +  
        Enterprise platform
        AI-powered developer platform
    Available add-ons
      +  
        Advanced Security
        Enterprise-grade security features
      +  
        GitHub Copilot
        Enterprise-grade AI features
      +  
        Premium Support
        Enterprise-grade 24/7 support
  * Pricing

Search or jump to...

Search code, repositories, users, issues, pull requests...

Search
[                    ]
Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

[                    ] [ ] Include my email address so I can be
contacted
Cancel Submit feedback

Saved searches

Use saved searches to filter your results more quickly

Name [                    ] 
Query [                    ]

To see all available qualifiers, see our documentation.

Cancel Create saved search
Sign in
Sign up Reseting focus
You signed in with another tab or window. Reload to refresh your
session. You signed out in another tab or window. Reload to refresh
your session. You switched accounts on another tab or window. Reload
to refresh your session. Dismiss alert
{{ message }}
klee / klee Public

  * Notifications You must be signed in to change notification
    settings
  * Fork 672
  * Star 2.6k

KLEE Symbolic Execution Engine

klee-se.org/

License

View license
2.6k stars 672 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

  * Code
  * Issues 84
  * Pull requests 10
  * Actions
  * Projects 3
  * Security
  * Insights

Additional navigation options

  * Code
  * Issues
  * Pull requests
  * Actions
  * Projects
  * Security
  * Insights

klee/klee

This commit does not belong to any branch on this repository, and may
belong to a fork outside of the repository.
 master
BranchesTags
  
Go to file
Code

Folders and files

     Name            Name       Last commit message Last commit date
Latest commit

 

History

2,753 Commits
 
.github         .github                              
cmake           cmake                                
docs            docs                                 
examples        examples                             
include/klee    include/klee                         
lib             lib                                  
runtime         runtime                              
scripts         scripts                              
test            test                                 
tools           tools                                
unittests       unittests                            
utils           utils                                
.cirrus.yml     .cirrus.yml                          
.clang-format   .clang-format                        
.codecov.yml    .codecov.yml                         
.dockerignore   .dockerignore                        
.gitattributes  .gitattributes                       
.gitignore      .gitignore                           
.shellcheckrc   .shellcheckrc                        
CMakeLists.txt  CMakeLists.txt                       
Dockerfile      Dockerfile                           
LICENSE.TXT     LICENSE.TXT                          
NEWS            NEWS                                 
README-CMake.md README-CMake.md                      
README.md       README.md                            
View all files

Repository files navigation

  * README
  * License

KLEE Symbolic Virtual Machine

 

Build Status Build Status Coverage

KLEE is a symbolic virtual machine built on top of the LLVM compiler
infrastructure. Currently, there are two primary components:

 1. The core symbolic virtual machine engine; this is responsible for
    executing LLVM bitcode modules with support for symbolic values.
    This is comprised of the code in lib/.

 2. A POSIX/Linux emulation layer oriented towards supporting uClibc,
    with additional support for making parts of the operating system
    environment symbolic.

Additionally, there is a simple library for replaying computed inputs
on native code (for closed programs). There is also a more
complicated infrastructure for replaying the inputs generated for the
POSIX/Linux emulation layer, which handles running native programs in
an environment that matches a computed test input, including setting
up files, pipes, environment variables, and passing command line
arguments.

For further information, see the webpage.

About

KLEE Symbolic Execution Engine

klee-se.org/

Topics

symbolic-execution klee

Resources

Readme

License

View license
Activity
Custom properties

Stars

2.6k stars

Watchers

106 watching

Forks

672 forks
Report repository

Releases 11

 
KLEE 3.1 Latest
Feb 29, 2024
+ 10 releases

Packages 0

No packages published

Contributors 94

  * @ccadar
  * @MartinNowack
  * @ddunbar
  * @251
  * @jbuening
  * @andreamattavelli
  * @jirislaby
  * @danielschemmel
  * @lzaoral
  * @hoangmle
  * @kren1
  * @pcc
  * @delcypher
  * @arrowd

+ 80 contributors

Languages

  * C++ 68.4%
  * C 18.4%
  * Python 3.8%
  * LLVM 3.5%
  * CMake 3.5%
  * Shell 1.1%
  * Other 1.3%

Footer

 (c) 2024 GitHub, Inc.

Footer navigation

  * Terms
  * Privacy
  * Security
  * Status
  * Docs
  * Contact
  * Manage cookies
  * Do not share my personal information

You can't perform that action at this time.