Topic: klee Goto Github
Some thing interesting about klee
Some thing interesting about klee
klee,A library for concolic execution of RV32 instruction set simulators
Organization: agra-uni-bremen
klee,A Guix channel for reproducible symbolic execution research
Organization: agra-uni-bremen
klee,A concolic testing engine for RISC-V embedded software with support for SystemC peripherals
Organization: agra-uni-bremen
klee,ECE 208 Bonus Assignment
User: arora-aditya
klee,Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)
Organization: comsys
klee,Report PPT template for CS students
User: fishermanykx
klee,tools sets needed for the implementation of the basic application functionality: Messages, header, layout, fetch
Organization: get-focus
Home Page: http://getfocus.io/focus-documentation/
klee,A set of atomic web components based on material design to build modern interfaces easily.
Organization: get-focus
Home Page: http://getfocus.io/focus-documentation/
klee,Documentation about how to use focus-application focus-graph focus-components and focus-search to build single page applications.
Organization: get-focus
Home Page: http://getfocus.io/focus-documentation/
klee,Tools based on Redux to easily integrate forms, validate and manipulate data.
Organization: get-focus
Home Page: http://getfocus.io/focus-documentation/
klee,Interfaces and components to easily inject search functionalities in you application.
Organization: get-focus
Home Page: http://getfocus.io/focus-documentation/
klee,Tutorials explaining step by step how to use FOCUS libs.
Organization: get-focus
Home Page: http://getfocus.io/focus-documentation/
klee,C library to support Map2Check Tool
User: hbgit
klee,Create CFGs and compute complexity metrics for Python, C++, and Java code.
Organization: hmc-alpaqa
klee,Seeding fuzzers with symbolic execution
User: julieeen
klee,KLEE Symbolic Execution Engine
Organization: klee
Home Page: https://klee-se.org/
klee,Data-driven symbolic execution engine, implemented on top of KLEE
Organization: kupl-sstf
klee,Data-driven symbolic execution engine, implemented on top of KLEE
Organization: kupl
klee,Research paper On The Termination of Borrow Checking for Rust and a web application, CLI application and VSCode extension for running static analysis of rust-based smart contracts with a ready-to-be-verified project example.
Organization: ledgerproject
Home Page: https://ledgerproject.github.io/home/#/teams/SafePKT
klee,CLI and HTTP application for running static analysis of rust-based smart contracts
Organization: ledgerproject
Home Page: https://ledgerproject.github.io/home/#/teams/SafePKT
klee,SafePKT Flavor of RVT (a collection of tools/libraries to support both static and dynamic verification of Rust programs.)
Organization: ledgerproject
Home Page: https://ledgerproject.github.io/home/#/teams/SafePKT
klee,An opiniated Next TypeScript powered starter which include Klee, emotion / styled-system, framer motion, jest and Cypress
User: liinkiing
klee,Klee Tutorial Two tests
Organization: mull-project
Home Page: http://stanislaw.github.io/2017/05/07/mull-and-klee-part1.html
klee,Sudoku Solver using Z3
User: ppmx
klee,Examples and Programs for Probabilistic Symbolic Execution project. This has been built using KLEE, LLVM, Haskell & python3.
Organization: praise106-research
klee,RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
Organization: project-oak
Home Page: https://project-oak.github.io/rust-verification-tools/
klee,symbolic execution fuzzing with KLEE
User: raminfp
klee,ECE 653 - testing, Quality Assurance, and Maintenance.This repo holds all material, notes and assignments related to the mentioned course.
User: sai-teja-ponugoti
klee,Customized symbolic analysis to find pointer analysis bugs
User: sdasgup3
klee,Install and run KLEE on edk2
User: shafiuzzaman-md
klee,A framework for using test case generators to locate errors in C programs
Organization: sosy-lab
Home Page: https://sosy-lab.org/research/test-study
klee,Whole Program LLVM: wllvm ported to go
Organization: sri-csl
klee,Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Organization: staticafi
Home Page: http://staticafi.github.io/symbiotic/
klee,Symbolic execution is not straightforward when floating point arithmetic is involved. KLEE-float is a good tool to combat this problem.
User: subramanyam6
klee,TracerX Symbolic Virtual Machine
Organization: tracer-x
Home Page: https://tracer-x.github.io/
klee,A set of programs used for benchmarking the strength of obfuscation
Organization: tum-i4
klee,Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
Organization: unittestbot
klee,Minimalist RESTful API for retrieving essential Genshin Impact data such as characters' and weapons' stats and their scaling
User: vichannnnn
Home Page: https://yunaa.moe
klee,Fuzzing tutorial with easy-to-learn labs π
User: yuawn
klee,State Inspection Tool for LLVM
User: zhechkoz
A declarative, efficient, and flexible JavaScript library for building user interfaces.
π Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. πππ
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google β€οΈ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.