[{"_1":2,"_178":-5,"_179":-5},"loaderData",{"_3":4,"_17":18,"_25":26,"_157":158},"root",{"_5":-5,"_6":-7,"_7":8,"_9":-7,"_10":11,"_12":-7,"_13":14,"_15":16},"currentUser","primaryEmail","siteVerification","6LeIxAcTAAAAAJcZVRqyHh71UMIEGNQ_MXjiZKhI","toast","enableDev",false,"incidentStatus","theme","system","contrast","normal","routes/_layout",{"_19":-5,"_20":21,"_22":21,"_23":11,"_24":21},"username","isAskGordonEnabled",true,"isUsingNewTemplate","showMinimalLanding","showHoneypotTrap","routes/_layout.r.$namespace.$reponame",{"_27":28,"_29":-5,"_30":11,"_31":11,"_32":33,"_34":35,"_36":-5,"_37":11,"_38":39,"_88":89,"_108":109,"_146":-5,"_147":11,"_148":21,"_149":11,"_150":-5,"_151":11,"_152":-5,"_153":154,"_155":110,"_156":-7},"canonicalUrl","https://hub.docker.com/r/thawsystems/triton/tags","mcpServer","canSeeDockerfile","canSeeAutobuilds","namespace","thawsystems","reponame","triton","cloudBuildSource","isAutobuildsAvailable","repo",{"_40":41,"_42":43,"_45":46,"_47":48,"_49":11,"_50":51,"_52":53,"_54":55,"_57":35,"_32":33,"_58":59,"_60":44,"_61":62,"_63":64,"_65":66,"_67":-5,"_68":62,"_69":70,"_71":11,"_72":33,"_73":74,"_79":21,"_80":81,"_85":33,"_86":87},"categories",[],"content_types",[44],"image","date_registered","2017-10-12T04:55:30.701591Z","description",".","is_private","last_updated","2017-12-11T15:42:48.223385Z","last_modified","2024-10-16T13:48:34.145251Z","media_types",[56],"application/vnd.docker.container.image.v1+json","name","pull_count",487,"repository_type","star_count",0,"status",1,"status_description","active","source","collaborator_count","full_description","

\n\n**Triton** is a dynamic binary analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE)\nengine, a Taint engine, AST representations of the x86 and the x86-64 instructions set semantics, SMT simplification\npasses, an SMT Solver Interface and, the last but not least, Python bindings.\n\n

\n
\n \n

\n\nBased on these components, you are able to build program analysis tools, automate reverse engineering and perform software verification.\nAs **Triton** is still a young project, please, **don't blame us** if it is not yet reliable. [Open issues](https://github.com/JonathanSalwan/Triton/issues) or\n[pull requests](https://github.com/JonathanSalwan/Triton/pulls) are always better than troll =).\n\nA full documentation is available on our [doxygen page](http://triton.quarkslab.com/documentation/doxygen).

\n\n

\n \n \n \n \n \n \n \n \n \n $\"Codecov\"$ \n \n

\n\n### Quick start\n\n* [Description](http://triton.quarkslab.com/documentation/doxygen/#description_sec)\n* [Installation](http://triton.quarkslab.com/documentation/doxygen/#install_sec)\n* [Examples](https://github.com/JonathanSalwan/Triton/tree/master/src/examples)\n* [Presentations and Publications](http://triton.quarkslab.com/documentation/doxygen/#publications_sec)\n\n### Internal documentation\n\n* [Dynamic Symbolic Execution](http://triton.quarkslab.com/documentation/doxygen/engine_DSE_page.html)\n* [Symbolic Execution Optimizations](http://triton.quarkslab.com/documentation/doxygen/py_MODE_page.html)\n* [AST Representations of Semantics](https://triton.quarkslab.com/documentation/doxygen/py_AstContext_page.html)\n* [SMT Semantics Supported](http://triton.quarkslab.com/documentation/doxygen/SMT_Semantics_Supported_page.html)\n* [SMT Solver Interface](http://triton.quarkslab.com/documentation/doxygen/solver_interface_page.html)\n* [SMT Simplification Passes](http://triton.quarkslab.com/documentation/doxygen/SMT_simplification_page.html)\n* [Spread Taint](http://triton.quarkslab.com/documentation/doxygen/engine_Taint_page.html)\n* [Tracer Independent](http://triton.quarkslab.com/documentation/doxygen/Tracer_page.html)\n* [Python Bindings](http://triton.quarkslab.com/documentation/doxygen/py_triton_page.html)\n\n### News\n\nA [blog](http://triton.quarkslab.com/blog/) is available and you can follow us on twitter [@qb_triton](https://twitter.com/qb_triton) or via our [RSS](http://triton.quarkslab.com/rss.xml) feed.\n\n### Support\n\n* **IRC**: #qb_triton@freenode\n* **Mail**: triton at quarkslab com\n\n### Authors\n\n* **Jonathan Salwan** - Lead dev, Quarkslab\n* **Pierrick Brunet** - Core dev, Quarkslab\n* **Florent Saudel** - Core dev, Bordeaux University\n* **Romain Thomas** - Core dev, Quarkslab\n\n### Cite Triton\n\n @inproceedings{SSTIC2015-Saudel-Salwan,\n author = {Florent Saudel and Jonathan Salwan},\n title = {Triton: A Dynamic Symbolic Execution Framework},\n booktitle = {Symposium sur la s{\\'{e}}curit{\\'{e}} des technologies de l'information\n et des communications, SSTIC, France, Rennes, June 3-5 2015},\n publisher = {SSTIC},\n pages = {31--54},\n year = {2015},\n }\n\n","has_starred","hub_user","immutable_tags_settings",{"_75":11,"_76":77},"enabled","rules",[78],".*","is_automated","permissions",{"_82":21,"_83":11,"_84":11},"read","write","admin","user","storage_size",29699464665,"orgData",{"_90":91,"_92":93,"_94":95,"_96":33,"_97":98,"_99":98,"_100":98,"_101":98,"_102":103,"_104":98,"_105":98,"_106":98,"_107":21},"id","b1051b58b5484061a121457714718bb3","uuid","b1051b58-b548-4061-a121-457714718bb3","type","organization","orgname","full_name","","location","company","profile_url","date_joined","2017-07-16T16:02:17.96275Z","gravatar_url","gravatar_email","badge","is_active","recentTags",[110],{"_111":44,"_112":113,"_114":115,"_90":116,"_117":118,"_50":135,"_136":113,"_137":33,"_138":56,"_57":139,"_140":141,"_142":126,"_143":135,"_144":66,"_145":21},"content_type","creator",1948655,"full_size",471365556,18850357,"images",[119],{"_120":121,"_122":123,"_124":98,"_125":126,"_127":128,"_129":130,"_131":98,"_132":-5,"_133":115,"_63":66,"_134":-5},"architecture","amd64","digest","sha256:63e6445ea8be03cca74d7289ecd80d5ea234310706b8bfbbc10b51b88d606f13","features","last_pulled","2026-10-01T17:19:36.800307372Z","last_pushed","2017-12-11T15:42:48Z","os","linux","os_features","os_version","size","variant","2017-12-11T15:42:47.791213Z","last_updater","last_updater_username","media_type","latest","repository",1914342,"tag_last_pulled","tag_last_pushed","tag_status","v2","sbxKitMetadata","isPotentialSpam","isHubSbxKitsEnabled","showSbxLogoOverride","sbxTrademarkText","displaySecurityMetadata","tagAttestations","tagsHaveAttestations",[],"selectedTag","attestationsUrl","routes/_layout.r.$namespace.$reponame.tags",{"_38":159,"_166":167,"_153":176,"_177":11},{"_40":160,"_42":161,"_45":46,"_47":48,"_49":11,"_50":51,"_52":53,"_54":162,"_57":35,"_32":33,"_58":59,"_60":44,"_61":62,"_63":64,"_65":66,"_67":-5,"_68":62,"_69":70,"_71":11,"_72":33,"_73":163,"_79":21,"_80":165,"_85":33,"_86":87},[],[44],[56],{"_75":11,"_76":164},[78],{"_82":21,"_83":11,"_84":11},"tags",{"_168":64,"_169":-5,"_170":-5,"_171":172},"count","next","previous","results",[173],{"_111":44,"_112":113,"_114":115,"_90":116,"_117":174,"_50":135,"_136":113,"_137":33,"_138":56,"_57":139,"_140":141,"_142":126,"_143":135,"_144":66,"_145":21},[175],{"_120":121,"_122":123,"_124":98,"_125":126,"_127":128,"_129":130,"_131":98,"_132":-5,"_133":115,"_63":66,"_134":-5},[],"canDeleteTags","actionData","errors"]

thawsystems/triton

Tags for thawsystems/triton