{"id":23419378,"url":"https://github.com/bannsec/larissa","last_synced_at":"2025-04-12T12:44:39.450Z","repository":{"id":62575119,"uuid":"90812027","full_name":"bannsec/larissa","owner":"bannsec","description":"A user wrapper around the Triton Symbolic Execution Engine","archived":false,"fork":false,"pushed_at":"2017-11-20T21:35:09.000Z","size":187,"stargazers_count":3,"open_issues_count":0,"forks_count":2,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-03-26T07:23:00.690Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Python","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/bannsec.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}},"created_at":"2017-05-10T02:25:26.000Z","updated_at":"2024-08-12T19:29:43.000Z","dependencies_parsed_at":"2022-11-03T18:57:55.000Z","dependency_job_id":null,"html_url":"https://github.com/bannsec/larissa","commit_stats":null,"previous_names":["owlz/larissa"],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bannsec%2Flarissa","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bannsec%2Flarissa/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bannsec%2Flarissa/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bannsec%2Flarissa/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/bannsec","download_url":"https://codeload.github.com/bannsec/larissa/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248570246,"owners_count":21126387,"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","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-12-23T01:17:50.606Z","updated_at":"2025-04-12T12:44:39.430Z","avatar_url":"https://github.com/bannsec.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"[ ![Codeship Status for Owlz/larissa](https://codeship.com/projects/580bce60-22a0-0135-eb40-52028c1190b7/status?branch=master)](https://app.codeship.com/projects/221744)\n[![Coverage Status](https://coveralls.io/repos/github/Owlz/larissa/badge.svg?branch=HEAD)](https://coveralls.io/github/Owlz/larissa?branch=HEAD)\n\n# About\nThis is basically a toy project for the moment. I'm curious if I can make Triton be a little more user friendly. I'm planning on modeling interactions after how you would interact through angr and attempt to make the interactions more pythonic.\n\n# Docker\nThe build process for larissa is a little convoluted right now. The easiest way to run a version of larissa is to use Docker. Assuming you have docker installed, the following commands should download and run larissa:\n\n__Master__\n```bash\n$ sudo docker pull bannsec/larissa:master\n$ sudo docker run -it --rm bannsec/larissa:master\n```\n\n__dev__\n```bash\n$ sudo docker pull bannsec/larissa:dev\n$ sudo docker run -it --rm bannsec/larissa:dev\n```\n\nSide note: If you have binaries that you want to load up with larissa, you can mount a directory with those images in them. This isn't specific to larissa, rather a docker option. For instance, if you wanted to mount your current directory inside the image as \"/home/larissa/data\", you would do the following:\n\n```bash\n$ sudo docker run -it --rm -v $PWD:/home/larissa/data bannsec/larissa:dev\n```\n\n# Install\nBe sure you have lib boost, cmake, and python2.7 installed. On Ubuntu, that's:\n\n```bash\n$ sudo apt-get install libboost-dev cmake python2.7-dev gcc g++\n```\n\nInstallation has only been tested into a virtual environment.\n\n```bash\n$ virtualenv larissa\n$ source larissa/bin/activate\n```\n\n## Pypi Install\nInstalling from pypi (i.e.: \"normal\" pip install) is:\n\n```bash\n(larissa)$ pip install larissa\n```\n\n## Repo install\nIf you want to install from the repo, you will need to clone it. Given larissa's current reliance on submodules, you will want to recursively clone it.\n\n```bash\n(larissa)$ git clone --recursive https://github.com/Owlz/larissa.git\n(larissa)$ cd larissa\n(larissa)$ pip install .\n```\n\nBe patient. This installer will compile z3 as well as triton. This will take a little while.\n\n# Unit Tests\nYou can run the unit tests with the following command from the root of the git repo:\n\n```bash\n$ pytest --boxed -n 8 --cov=larissa --cov-config=.coveragerc tests/\n$ pytest --boxed -n 8 --cov=larissa --cov-config=.coveragerc --cov-report=html tests/ # For pretty html output\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fbannsec%2Flarissa","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fbannsec%2Flarissa","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fbannsec%2Flarissa/lists"}