GitHub Explorer

by Alexey Ratnikov

GitHub Explorer

GitHub Explorer|TRENDING COMPARE|FEEDBACK

Back to search

Copyright (c) 2026 Alexey Ratnikov

L4ys/LazyKLEE - GitHub Explorer | GitHub Explorer | Trending | Compare

LazyKLEE

L4ys•PUBLIC

Lazy python wrapper of KLEE for solving CTF challenges

ctfklee

Created on Oct 19, 2016

Updated on Dec 9, 2025

Stars

64

Forks

9

Watchers

64

Open Issues

0

Repository Health Score

❤️

35/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Inactive - no updates in 3+ months

0/30

0%

Community

64 stars, 9 forks

0/30

0%

Documentation

Has description, wiki

15/20

75%

Maintenance

0.0% issue ratio

20/20

100%

Health score is calculated based on activity, community engagement, documentation quality, and maintenance practices

Languages

C

96.4%

Python

3.6%

Dependencies

No package.json found

This might not be a Node.js project

Top Contributors

1

L4ys

User

1

commits

2

5teven1in

User

1

commits

Recent Commits

Merge pull request #1 from ss8651twtw/master

Lays•5 years ago

b79de7bView on GitHub

Support python3 and use format string

ss8651twtw•5 years ago

8b28c69View on GitHub

Remove --write-ints

Lays•7 years ago

3ece747View on GitHub

Only exit on Assert

Lays•7 years ago

9dd2504View on GitHub

Remove --write-ints

Lays•7 years ago

cfb616dView on GitHub

Support KLEE 2.0

Lays•7 years ago

b859a93View on GitHub

Update README.md

Lays•8 years ago

1629002View on GitHub

Fix -c

Lays•8 years ago

4ba6038View on GitHub

Update README.md

Lays•8 years ago

6cd56d4View on GitHub

Use getstatusoutput()

Lays•8 years ago

adaa220View on GitHub

Add some examples

Lays•8 years ago

7bfbfa0View on GitHub

Update README.md

Lays•8 years ago

a535325View on GitHub

Update README.md

Lays•8 years ago

f43764fView on GitHub

Lots of fixes, option now works

Lays•8 years ago

352cda3View on GitHub

Add -DKLEE to clang args

Lays•8 years ago

4953b4fView on GitHub

View all commits