{"id":43496617,"url":"https://github.com/quarkslab/tritondse","last_synced_at":"2026-02-03T10:38:35.690Z","repository":{"id":162629751,"uuid":"617833534","full_name":"quarkslab/tritondse","owner":"quarkslab","description":"Triton-based DSE library with loading and exploration capabilities (and more!)","archived":false,"fork":false,"pushed_at":"2025-09-09T13:27:36.000Z","size":7989,"stargazers_count":127,"open_issues_count":7,"forks_count":9,"subscribers_count":11,"default_branch":"main","last_synced_at":"2025-09-09T16:35:09.127Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://quarkslab.github.io/tritondse","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/quarkslab.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,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2023-03-23T07:54:55.000Z","updated_at":"2025-09-09T13:27:40.000Z","dependencies_parsed_at":null,"dependency_job_id":"ff6eaee5-d5d3-417b-ab04-8b4263ea4aa1","html_url":"https://github.com/quarkslab/tritondse","commit_stats":null,"previous_names":[],"tags_count":14,"template":false,"template_full_name":null,"purl":"pkg:github/quarkslab/tritondse","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/quarkslab%2Ftritondse","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/quarkslab%2Ftritondse/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/quarkslab%2Ftritondse/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/quarkslab%2Ftritondse/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/quarkslab","download_url":"https://codeload.github.com/quarkslab/tritondse/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/quarkslab%2Ftritondse/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29041862,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-03T10:09:22.136Z","status":"ssl_error","status_checked_at":"2026-02-03T10:09:16.814Z","response_time":96,"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":"2026-02-03T10:38:34.928Z","updated_at":"2026-02-03T10:38:35.682Z","avatar_url":"https://github.com/quarkslab.png","language":"Python","funding_links":[],"categories":["Tools"],"sub_categories":[],"readme":"# TritonDSE\n\nTritonDSE is a Python library providing exploration capabilities to Triton\nand some refinement easing its usage. This library is primarily designed\nto perform pure emulation symbolic execution even though it can also be\napplied under different settings. It works by performing an elementary\nloading of the program and starts exploring from the entrypoint. The whole\nexploration can be instrumented using a hook mechanism enabling to obtain\na handle on various events.\n\nAt the moment solely ELF and Linux are supported. But further development\ncan lead to more platform. Furthermore it provides facilities on the C\nruntime and it has not been tested on other types of programs.\n\n[Documentation](https://quarkslab.github.io/tritondse)\n\n\n\u003cp align=\"center\"\u003e\n  \u003ca href=\"https://github.com/quarkslab/tritondse/releases\"\u003e\n    \u003cimg src=\"https://img.shields.io/github/v/release/quarkslab/tritondse?logo=github\"\u003e\n  \u003c/a\u003e\n  \u003cimg src=\"https://img.shields.io/github/license/quarkslab/tritondse\"/\u003e\n  \u003ca href=\"https://github.com/quarkslab/tritondse/releases\"\u003e\n    \u003cimg src=\"https://img.shields.io/github/actions/workflow/status/quarkslab/tritondse/doc.yml\"\u003e\n  \u003c/a\u003e\n  \u003ca href=\"https://github.com/quarkslab/pastis/releases\"\u003e\n    \u003cimg src=\"https://img.shields.io/github/actions/workflow/status/quarkslab/tritondse/release.yml\"\u003e\n  \u003c/a\u003e\n  \u003cimg src=\"https://img.shields.io/github/downloads/quarkslab/tritondse/total\"/\u003e\n  \u003cimg src=\"https://img.shields.io/pypi/dm/tritondse\"/\u003e\n\u003c/p\u003e\n\n---\n\nTritonDSE goal is to provide higher-level primitives than [Triton](https://triton-library.github.io/).\nTriton is a low-level framework where one have to provide manually all instructions to be executed\nsymbolically. As such, TritonDSE provides the following features:\n\n* Loader mechanism (based on [LIEF](https://lief-project.github.io/), [cle](https://github.com/angr/cle) or custom ones)\n* Memory segmentation\n* Coverage strategies (block, edge, path)\n* Pointer coverage\n* Automatic input injection on stdin, argv\n* Input replay with QBDI\n* input scheduling *(customizable)*\n* sanitizer mechanism\n* basic heap allocator\n* some libc symbolic stubs\n\n---\n\n# Quick start\n\n* [Installation](#installation)\n* [Documentation](#documentation)\n\n\n## Installation\n\n```bash\npip install tritondse\n```\n\nThe pip package will install all dependencies.\n\n\n## Documentation\n\nA complete documentation on how to use TritonDSE is available on\n[Github pages](https://quarkslab.github.io/tritondse).\n\n\n---\n\n\n## External Contributors\n\n* Jonathan Salwan\n* Richard Abou Chaaya\n\n[*All contributions**](https://github.com/quarkslab/tritondse/graphs/contributors)\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fquarkslab%2Ftritondse","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fquarkslab%2Ftritondse","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fquarkslab%2Ftritondse/lists"}