{"id":23419444,"url":"https://github.com/bannsec/easyklee","last_synced_at":"2025-04-12T12:44:43.481Z","repository":{"id":36524313,"uuid":"40830069","full_name":"bannsec/EasyKLEE","owner":"bannsec","description":"Repo to ease the pain of installing KLEE","archived":false,"fork":false,"pushed_at":"2016-03-24T00:49:58.000Z","size":10,"stargazers_count":7,"open_issues_count":0,"forks_count":2,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-03-26T07:23:03.540Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Shell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/bannsec.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2015-08-16T17:25:47.000Z","updated_at":"2024-08-12T19:18:50.000Z","dependencies_parsed_at":"2022-09-07T05:02:46.737Z","dependency_job_id":null,"html_url":"https://github.com/bannsec/EasyKLEE","commit_stats":null,"previous_names":[],"tags_count":2,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bannsec%2FEasyKLEE","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bannsec%2FEasyKLEE/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bannsec%2FEasyKLEE/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bannsec%2FEasyKLEE/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/bannsec","download_url":"https://codeload.github.com/bannsec/EasyKLEE/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248570276,"owners_count":21126394,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-12-23T01:18:01.222Z","updated_at":"2025-04-12T12:44:43.454Z","avatar_url":"https://github.com/bannsec.png","language":"Shell","funding_links":[],"categories":[],"sub_categories":[],"readme":"#Overview\nThe purpose of EasyKLEE is to making installing KLEE easy. The goal is to be able to simply run the installer on a base install of an operating system and have KLEE be installed. The genesis of this project was from personal experiences with the sometimes difficult installation of this tool.\n\n#Usage\nJust run \"install_klee.sh\". It should take care of the rest.\n\n#Supportted Platforms\nThe following platforms are supported/tested, but other similar versions would likely work with minimal to no modification.\n\n* Ubuntu 15.04 x64/i386\n\n# What It Installs\nBesides simply installing KLEE, it needs to install dependencies. Here's what you get.\n\n* KLEE 3.4 (Experimental)\n* LLVM 3.4 (Experimental)\n* CryptoMiniSAT 4.5.2\n* MiniSAT (latest... they're bad at tagging)\n* KLEE-UCLIBC (lastest, also bad at taging)\n* libgtest 1.7\n\n#Known Issues\nIf a different version of LLVM is already installed, there will likely be issues installing KLEE.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fbannsec%2Feasyklee","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fbannsec%2Feasyklee","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fbannsec%2Feasyklee/lists"}