{"id":17219381,"url":"https://github.com/andreafioraldi/bsc-thesis","last_synced_at":"2026-02-03T01:36:45.282Z","repository":{"id":86885055,"uuid":"146599789","full_name":"andreafioraldi/bsc-thesis","owner":"andreafioraldi","description":"Symbolic Execution and Debugging Synchronization - Bsc Thesis","archived":false,"fork":false,"pushed_at":"2018-12-24T13:24:03.000Z","size":1357,"stargazers_count":6,"open_issues_count":0,"forks_count":3,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-06-28T01:34:41.857Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"TeX","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/andreafioraldi.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,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2018-08-29T12:55:50.000Z","updated_at":"2024-10-20T08:35:01.000Z","dependencies_parsed_at":"2023-03-22T23:31:28.022Z","dependency_job_id":null,"html_url":"https://github.com/andreafioraldi/bsc-thesis","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/andreafioraldi/bsc-thesis","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/andreafioraldi%2Fbsc-thesis","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/andreafioraldi%2Fbsc-thesis/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/andreafioraldi%2Fbsc-thesis/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/andreafioraldi%2Fbsc-thesis/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/andreafioraldi","download_url":"https://codeload.github.com/andreafioraldi/bsc-thesis/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/andreafioraldi%2Fbsc-thesis/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29026392,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-03T00:53:18.321Z","status":"ssl_error","status_checked_at":"2026-02-03T00:51:45.186Z","response_time":58,"last_error":"SSL_read: 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-15T03:49:45.100Z","updated_at":"2026-02-03T01:36:45.252Z","avatar_url":"https://github.com/andreafioraldi.png","language":"TeX","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Symbolic Execution and Debugging Synchronization\n\nThis is my Bsc thesis.\n\n\u003eIn this thesis, we introduce the idea of combining symbolic execution with dynamic analysis for reverse engineering.\n\u003eThe synchronization between a debugger and a symbolic executor can enhance manual dynamic analysis and allow a reverser to easily solve small portions of code without leaving the debugger.\n\u003eWe implemented a synchronization mechanism on top of the binary analysis framework angr, allowing for transferring the state of the debugged process to the angr environment and back.\n\u003eThe backend library is debugger agnostic and can be extended to work with various frontends.\n\u003eWe implemented a frontend for the IDA Pro debugger and one for the GNU Debugger, which are both widely popular among reverse engineers.\n\n\nResearchGate page: [https://www.researchgate.net/publication/327655380_Symbolic_Execution_and_Debugging_Synchronization](https://www.researchgate.net/publication/327655380_Symbolic_Execution_and_Debugging_Synchronization)\n\nAdvisor: [Prof. Camil Demetrescu](https://github.com/camild)\n\nCo-Advisors: [Dr. Emilio Coppa](https://github.com/ercoppa), [Dr. Daniele Cono D’Elia](https://github.com/dcdelia)\n\n### Cite\n\nYou can use the following bibtex entry (it's a workaround to cite a bsc thesis):\n\n```\n@mastersthesis{Fioraldi:BscThesis:2018,\n    author = {Andrea Fioraldi},\n    title = {{Symbolic Execution and Debugging Synchronization}},\n    school = {Sapienza University of Rome},\n    month = {October},\n    year = {2018},\n    type = {{Bachelor's thesis}},\n}\n```\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fandreafioraldi%2Fbsc-thesis","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fandreafioraldi%2Fbsc-thesis","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fandreafioraldi%2Fbsc-thesis/lists"}