{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"doop","owner":"plast-lab","isFork":false,"description":"The official repo of Doop, the declarative pointer analysis framework.","allTopics":["java","datalog","doop","pointer-analysis"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":6,"starsCount":159,"forksCount":21,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-11T11:33:32.361Z"}},{"type":"Public","name":"souffle-addon","owner":"plast-lab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":2,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-30T13:27:06.047Z"}},{"type":"Public","name":"plast-lab.github.io","owner":"plast-lab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T10:28:16.155Z"}},{"type":"Public","name":"HeapDL","owner":"plast-lab","isFork":false,"description":"Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.","allTopics":["jvm","android-development","program-analysis","heapdump"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":14,"forksCount":1,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-03T15:01:00.228Z"}},{"type":"Public","name":"clue-common","owner":"plast-lab","isFork":false,"description":"Common functionality shared by the components of the Clyze unified analysis framework.","allTopics":[],"primaryLanguage":{"name":"Groovy","color":"#4298b8"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-29T17:00:35.899Z"}},{"type":"Public","name":"javaee-benchmarks","owner":"plast-lab","isFork":false,"description":"A collection of the Java EE benchmarks from Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room (JackEE), presented in PLDI 2020","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-28T09:25:17.218Z"}},{"type":"Public","name":"cclyzer-souffle","owner":"plast-lab","isFork":false,"description":"CClyzer port to souffle lang","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":5,"starsCount":18,"forksCount":8,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T13:20:13.630Z"}},{"type":"Public","name":"source-ir-fitter","owner":"plast-lab","isFork":false,"description":"A tool to map source code elements to IR elements.","allTopics":["code-analysis","bytecode","sarif"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-02T12:51:48.210Z"}},{"type":"Public","name":"bccapture","owner":"plast-lab","isFork":false,"description":"A bytecode capture agent for the JVM","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-27T10:13:01.242Z"}},{"type":"Public","name":"JInfoFlow-bench","owner":"plast-lab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-29T12:18:40.610Z"}},{"type":"Public","name":"native-scanner","owner":"plast-lab","isFork":false,"description":"An analyzer of JNI code that matches native code information with Java code","allTopics":["analysis","analyzing-binaries"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":20,"forksCount":6,"license":"Universal Permissive License v1.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-12T14:23:09.295Z"}},{"type":"Public","name":"mini-sarif","owner":"plast-lab","isFork":false,"description":"A library to generate statis analysis results in SARIF format.","allTopics":["static-analysis","sarif"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-12T14:00:23.334Z"}},{"type":"Public","name":"static-analysis","owner":"plast-lab","isFork":true,"description":"A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1349,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-23T22:06:23.701Z"}},{"type":"Public","name":"Apktool","owner":"plast-lab","isFork":true,"description":"A tool for reverse engineering Android apk files","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3564,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-23T15:12:40.636Z"}},{"type":"Public","name":"hprof-parser","owner":"plast-lab","isFork":true,"description":"An extensible parser for hprof heap dump files produced by various JVMs","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":38,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-23T13:50:14.210Z"}},{"type":"Public","name":"cclyzer","owner":"plast-lab","isFork":false,"description":"A tool for analyzing LLVM bitcode using Datalog.","allTopics":["c","c-plus-plus","analysis-framework","pointer-analysis","llvm","datalog"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":2,"starsCount":96,"forksCount":14,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-10-02T11:37:56.956Z"}},{"type":"Public","name":"sound-modulo-analysis-openjdk-8","owner":"plast-lab","isFork":false,"description":"This repository contains a modified `sound-modulo-analysis` version of the Java OpenJDK 8 as described in the PLDI 2020 paper \"Static Analysis of Java Enterprise Applications: Frameworks and Caches, The Elephants in the Room\"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":2,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-05T04:26:59.298Z"}},{"type":"Public","name":"doop-pldi15-tutorial","owner":"plast-lab","isFork":false,"description":"Tutorial site for PLDI 2015","allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":1,"starsCount":5,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-04T17:34:57.388Z"}},{"type":"Public","name":"credex","owner":"plast-lab","isFork":false,"description":"Extending facebook/redex with passes driven from external program analysis","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"Universal Permissive License v1.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-05T11:56:17.152Z"}},{"type":"Public","name":"WALA","owner":"plast-lab","isFork":true,"description":"T.J. Watson Libraries for Analysis","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":221,"license":"Eclipse Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-13T11:22:15.519Z"}},{"type":"Public","name":"soot","owner":"plast-lab","isFork":true,"description":"Soot - A Java optimization framework","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":707,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-08-04T12:44:22.328Z"}},{"type":"Public","name":"redex","owner":"plast-lab","isFork":true,"description":"A bytecode optimizer for Android apps","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":653,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-08-03T15:56:00.958Z"}},{"type":"Public","name":"FlowDroid","owner":"plast-lab","isFork":true,"description":"FlowDroid Static Data Flow Tracker","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":297,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-08-03T12:54:08.486Z"}},{"type":"Public","name":"JDWPFactGen","owner":"plast-lab","isFork":false,"description":"Dynamic fact generation using the Java Debug Wire Protocol (JDWP)","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-07-27T14:57:26.051Z"}},{"type":"Public","name":"heapdl-site","owner":"plast-lab","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-07-10T17:09:25.926Z"}},{"type":"Public","name":"proguard-experiments","owner":"plast-lab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-10-18T09:45:39.144Z"}},{"type":"Public","name":"jphantom-viewer-demo","owner":"plast-lab","isFork":true,"description":"A tool for Java program complementation.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":10,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-06-23T10:13:54.357Z"}},{"type":"Public","name":"elasticsearch","owner":"plast-lab","isFork":true,"description":"Open Source, Distributed, RESTful Search Engine","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":24631,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-04-28T12:02:10.679Z"}},{"type":"Public","name":"litho","owner":"plast-lab","isFork":true,"description":"A declarative framework for building efficient UIs on Android.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":761,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-04-28T11:55:34.251Z"}},{"type":"Public","name":"spring-framework","owner":"plast-lab","isFork":true,"description":"The Spring Framework","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":37983,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-04-28T10:06:32.050Z"}}],"repositoryCount":46,"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":"template","text":"Templates"}],"compactMode":false},"title":"plast-lab repositories"}