{"id":16087523,"url":"https://github.com/linqlover/symbolic-execution-survey","last_synced_at":"2026-03-18T17:52:52.946Z","repository":{"id":65784455,"uuid":"560397071","full_name":"LinqLover/symbolic-execution-survey","owner":"LinqLover","description":"A survey of literature and applications for symbolic execution tools","archived":false,"fork":false,"pushed_at":"2023-03-17T17:14:35.000Z","size":8927,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-04-05T15:27:25.365Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"TeX","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/LinqLover.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.md","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2022-11-01T12:13:24.000Z","updated_at":"2023-10-23T14:42:00.000Z","dependencies_parsed_at":"2025-04-05T15:37:53.151Z","dependency_job_id":null,"html_url":"https://github.com/LinqLover/symbolic-execution-survey","commit_stats":null,"previous_names":[],"tags_count":1,"template":false,"template_full_name":null,"purl":"pkg:github/LinqLover/symbolic-execution-survey","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LinqLover%2Fsymbolic-execution-survey","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LinqLover%2Fsymbolic-execution-survey/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LinqLover%2Fsymbolic-execution-survey/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LinqLover%2Fsymbolic-execution-survey/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/LinqLover","download_url":"https://codeload.github.com/LinqLover/symbolic-execution-survey/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LinqLover%2Fsymbolic-execution-survey/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":28562767,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-01-19T03:31:16.861Z","status":"ssl_error","status_checked_at":"2026-01-19T03:31:15.069Z","response_time":67,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.6:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"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-10-09T13:30:00.318Z","updated_at":"2026-01-19T07:08:23.375Z","avatar_url":"https://github.com/LinqLover.png","language":"TeX","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Symbolic Execution Survey\n\n[![Report (PDF)](https://img.shields.io/github/actions/workflow/status/LinqLover/symbolic-execution-survey/report.yml?label=report%20%28PDF%29)](https://linqlover.github.io/symbolic-execution-survey/report.pdf)\n[![Report (HTML)](https://img.shields.io/github/actions/workflow/status/LinqLover/symbolic-execution-survey/report.yml?label=report%20%28HTML%29)](https://linqlover.github.io/symbolic-execution-survey/report.html)\n[![Slides (PDF)](https://img.shields.io/badge/-slides_(PDF)-F40F02)](./talk/Symbex.pdf)\n\nA survey of literature and applications for symbolic execution tools.\nCreated in the [research seminar on Advanced Programming Tools](https://hpi.de/en/studies/during-your-studies/courses/it-systems-engineering-ma/course/wise-22-23-3658-advanced-programming-tools-_-fortgeschrittene-programmierwerkzeuge.html) conducted by [@hpi-swa-teaching](https://github.com/hpi-swa-teaching). Kindly advised by Patrick Rein ([@codeZeilen](https://github.com/codeZeilen)).\n\n## Goals\n\nPrepare a **presentation/lecture (1 h) followed by a discussion (30 min)** and a **written report (8 – 12 pages).** See all details in [INSTRUCTIONS.md](INSTRUCTIONS.md).\n\n## Artifacts\n\n- **[Talk:](./talk/)** [Slide deck](./talk/Symbex.pdf) and demo materials (90 min, 105 slides, many colorful figures).\n- **[Report:](./report)** Write-up of the survey (\"Symbolic Execution and Applications\", 26 pages, single-column).\n\n  Abstract:\n  \n  \u003e Symbolic execution is a dynamic program analysis technique that identifies and examines most execution paths of a program without requiring the programmer to specify inputs. We describe how symbolic execution works, give an overview of its uses and implications for vulnerability detection, testing, and program comprehension, and discuss its practicality and limitations.\n\n- **[Examples:](./examples)** Some examples of different tools and applications for symbolic execution.\n- **[Notes:](./notes)** All notes and memos from the literature research. Might be incomplete or outdated in parts.\n\nNote that the latest and thus most up-to-date artifact is the **report** and the slide deck might go less in the depth.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flinqlover%2Fsymbolic-execution-survey","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Flinqlover%2Fsymbolic-execution-survey","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flinqlover%2Fsymbolic-execution-survey/lists"}