{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"avatar-samples","owner":"avatarone","isFork":false,"description":"Samples of Avatar firmware analysis (including NDSS'14 cases)","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":21,"forksCount":9,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-06-27T10:18:52.466Z"}},{"type":"Public","name":"s2e","owner":"avatarone","isFork":true,"description":"S2E - A Platform for In-Vivo Multi-Path Software Analysis","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":0,"starsCount":14,"forksCount":173,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-01-18T18:35:34.713Z"}},{"type":"Public","name":"avatar-python","owner":"avatarone","isFork":false,"description":"Dynamic security analysis of embedded systems’ firmwares","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":1,"starsCount":80,"forksCount":35,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-18T12:45:34.912Z"}},{"type":"Public","name":"memtrace","owner":"avatarone","isFork":false,"description":"Python scripts for analyzing S2E traces (ExecutionTracer.dat)","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-13T16:50:37.617Z"}},{"type":"Public","name":"openocd","owner":"avatarone","isFork":true,"description":"OpenOCD support for Avatar","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":735,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-12T13:16:19.815Z"}},{"type":"Public","name":"gdb","owner":"avatarone","isFork":false,"description":"GDB clone with modifications for Avatar","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-12T12:47:09.066Z"}},{"type":"Public","name":"vagrant","owner":"avatarone","isFork":false,"description":"Virtual machine configurations for ready-made experiment machines","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":2,"starsCount":1,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-07T09:03:52.348Z"}},{"type":"Public","name":"news2e-qemu","owner":"avatarone","isFork":true,"description":"Official QEMU mirror","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":9,"starsCount":0,"forksCount":5281,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-09-30T09:03:52.150Z"}},{"type":"Public","name":"news2e-test","owner":"avatarone","isFork":false,"description":"Tests for the update of S2E to a new Qemu version","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-08-11T08:25:44.709Z"}},{"type":"Public","name":"news2e","owner":"avatarone","isFork":false,"description":"Update of S2E (<a href=\"https://githhub.com/dslab-epfl/s2e\" rel=\"nofollow\">https://githhub.com/dslab-epfl/s2e</a>) to a new version of Qemu","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":1,"starsCount":9,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-08-10T17:00:48.100Z"}},{"type":"Public","name":"news2e-klee","owner":"avatarone","isFork":true,"description":"KLEE Symbolic Virtual Machine","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":657,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-08-10T16:39:18.034Z"}},{"type":"Public","name":"news2e-minisat","owner":"avatarone","isFork":true,"description":"A minimalistic and high-performance SAT solver","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":375,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-08-08T16:00:12.945Z"}},{"type":"Public","name":"news2e-stp","owner":"avatarone","isFork":true,"description":"Simple Theorem Prover.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":127,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-21T16:45:31.271Z"}},{"type":"Public","name":"avatar-docker","owner":"avatarone","isFork":false,"description":"Docker images for Avatar","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-04-12T06:47:18.328Z"}},{"type":"Public","name":"avatar-gdbstub","owner":"avatarone","isFork":false,"description":"GDB stub that allows debugging of embedded devices","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":30,"forksCount":14,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-09-09T09:55:25.851Z"}},{"type":"Public","name":"s2e-arm-testsuite","owner":"avatarone","isFork":false,"description":"ARM testsuite for S2E","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Lua","color":"#000080"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-12-03T17:25:14.198Z"}}],"repositoryCount":16,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}