{"id":17219329,"url":"https://github.com/andreafioraldi/angrdbg","last_synced_at":"2025-08-24T00:04:22.789Z","repository":{"id":57410340,"uuid":"132891630","full_name":"andreafioraldi/angrdbg","owner":"andreafioraldi","description":"Abstract library to generate angr states from a debugger state","archived":false,"fork":false,"pushed_at":"2020-07-05T09:00:39.000Z","size":87,"stargazers_count":60,"open_issues_count":2,"forks_count":15,"subscribers_count":10,"default_branch":"master","last_synced_at":"2025-07-22T14:35:25.258Z","etag":null,"topics":["angr","concrete","debugger","synchronization"],"latest_commit_sha":null,"homepage":null,"language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-2-clause","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":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2018-05-10T11:35:07.000Z","updated_at":"2025-05-17T21:46:01.000Z","dependencies_parsed_at":"2022-09-26T17:01:55.650Z","dependency_job_id":null,"html_url":"https://github.com/andreafioraldi/angrdbg","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/andreafioraldi/angrdbg","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/andreafioraldi%2Fangrdbg","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/andreafioraldi%2Fangrdbg/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/andreafioraldi%2Fangrdbg/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/andreafioraldi%2Fangrdbg/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/andreafioraldi","download_url":"https://codeload.github.com/andreafioraldi/angrdbg/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/andreafioraldi%2Fangrdbg/sbom","scorecard":{"id":192320,"data":{"date":"2025-08-11","repo":{"name":"github.com/andreafioraldi/angrdbg","commit":"59e130bbd1c64fcb9af6fbc2feddfa781c0b3036"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":3,"checks":[{"name":"Packaging","score":-1,"reason":"packaging workflow not detected","details":["Warn: no GitHub/GitLab publishing workflow detected."],"documentation":{"short":"Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#packaging"}},{"name":"Maintained","score":0,"reason":"0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#maintained"}},{"name":"Code-Review","score":0,"reason":"Found 2/27 approved changesets -- score normalized to 0","details":null,"documentation":{"short":"Determines if the project requires human code review before pull requests (aka merge requests) are merged.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#code-review"}},{"name":"Binary-Artifacts","score":10,"reason":"no binaries found in the repo","details":null,"documentation":{"short":"Determines if the project has generated executable (binary) artifacts in the source repository.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#binary-artifacts"}},{"name":"Dangerous-Workflow","score":-1,"reason":"no workflows found","details":null,"documentation":{"short":"Determines if the project's GitHub Action workflows avoid dangerous patterns.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#dangerous-workflow"}},{"name":"Token-Permissions","score":-1,"reason":"No tokens found","details":null,"documentation":{"short":"Determines if the project's workflows follow the principle of least privilege.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#token-permissions"}},{"name":"Pinned-Dependencies","score":-1,"reason":"no dependencies found","details":null,"documentation":{"short":"Determines if the project has declared and pinned the dependencies of its build process.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#pinned-dependencies"}},{"name":"CII-Best-Practices","score":0,"reason":"no effort to earn an OpenSSF best practices badge detected","details":null,"documentation":{"short":"Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#cii-best-practices"}},{"name":"Security-Policy","score":0,"reason":"security policy file not detected","details":["Warn: no security policy file detected","Warn: no security file to analyze","Warn: no security file to analyze","Warn: no security file to analyze"],"documentation":{"short":"Determines if the project has published a security policy.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#security-policy"}},{"name":"Vulnerabilities","score":10,"reason":"0 existing vulnerabilities detected","details":null,"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}},{"name":"Fuzzing","score":0,"reason":"project is not fuzzed","details":["Warn: no fuzzer integrations found"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#fuzzing"}},{"name":"License","score":10,"reason":"license file detected","details":["Info: project has a license file: LICENSE:0","Info: FSF or OSI recognized license: BSD 2-Clause \"Simplified\" License: LICENSE:0"],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"name":"Signed-Releases","score":-1,"reason":"no releases found","details":null,"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#signed-releases"}},{"name":"Branch-Protection","score":0,"reason":"branch protection not enabled on development/release branches","details":["Warn: branch protection not enabled for branch 'master'"],"documentation":{"short":"Determines if the default and release branches are protected with GitHub's branch protection settings.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#branch-protection"}},{"name":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 5 are checked with a SAST tool"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#sast"}}]},"last_synced_at":"2025-08-16T20:59:49.496Z","repository_id":57410340,"created_at":"2025-08-16T20:59:49.497Z","updated_at":"2025-08-16T20:59:49.497Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":271747137,"owners_count":24813629,"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","status":"online","status_checked_at":"2025-08-23T02:00:09.327Z","response_time":69,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"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":["angr","concrete","debugger","synchronization"],"created_at":"2024-10-15T03:49:38.447Z","updated_at":"2025-08-24T00:04:22.685Z","avatar_url":"https://github.com/andreafioraldi.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"# angrdbg\n\nAbstract library to generate angr states from a debugger state\n\nWorks with both angr 7 and 8.\n\n## Install\n\n```\npip install angrdbg\n```\n\n### Windows\n\nBefore installing angrdbg you must install Visual C++ Redistributable Packages for Visual Studio 2013.\n\nThen type in the command prompt:\n\n```\npy -m pip install capstone-windows\npy -m pip install angrdbg\n```\n\n## Usage\n\nThe library uses an abstract class, `Debugger`, to be agnostic from the debugger api.\n\nThe user must implement a derived class, see [abstract_debugger.py](angrdbg/abstract_debugger.py) to view the methods that must be implemented.\n\nAfter this register an instance of the derived class with the `register_debugger` function.\n\nTo create an angr state from the current debugger state use `StateShot`.\n\n## Api\n\n#### StateShot\n\nReturn an angr state from the current debug session state.\n\n#### StateManager\n\nA wrapper around angr to simplify the symbolic values creation and to write the results back in the debugger when angr founds a valid path.\n\n##### Methods\n+ `instance.sim(key, size)`        create a symbolic value on a register or on a memory address (size is optional)\n+ `instance[key]`                  get a register or a memory value\n+ `instance.simulation_manager()`  create an angr simulation manager based on the state\n+ `instance.to_dbg(found_state)`   transfer to the debugger state the evaluated value of the symbolic value created before with sim\n\nnote: memory values are the same that are returned by `state.mem[addr]`\n\n##### Managing the Project\n\n`load_project` and `reload_project` are used to get or lazily create a project based on the current debugger state.\n\n#### Memory type\n\nThe memory type defines how angrdbg get the memory from the debugger and from the cle backer. Use `get_memory_type` to know what the active one.\n\nYou can change the memory type with `set_memory_type`.\n\n+ `SIMPROCS_FROM_CLE` import only not-stubs simprocedures in the got from the cle backer (defaut)\n+ `ONLY_GOT_FROM_CLE` import the entire got from the cle backer\n+ `USE_CLE_MEMORY` import memory from the cle backer firstly\n+ `GET_ALL_DISCARD_CLE` full debugger memory mode (the only avaiable for PE at the moment)\n\n## Frontends\n+ GDB -\u003e [angrgdb](https://github.com/andreafioraldi/angrgdb)\n+ IDA Pro debugger -\u003e [IDAngr](https://github.com/andreafioraldi/IDAngr)\n+ radare2 -\u003e [r2angrdbg](https://github.com/andreafioraldi/r2angrdbg)\n\n## Cite\n\nThesis [PDF](https://arxiv.org/pdf/2006.16601.pdf).\n\nBibtex:\n```\n@misc{fioraldi2020symbolic,\n    title={Symbolic Execution and Debugging Synchronization},\n    author={Andrea Fioraldi},\n    year={2020},\n    eprint={2006.16601},\n    archivePrefix={arXiv},\n    primaryClass={cs.CR}\n}\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fandreafioraldi%2Fangrdbg","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fandreafioraldi%2Fangrdbg","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fandreafioraldi%2Fangrdbg/lists"}