{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"Tai-e","owner":"pascal-lab","isFork":false,"description":"An easy-to-learn/use static analysis framework for Java","allTopics":["java","security","static-analysis","call-graph","taint-analysis"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":10,"starsCount":1280,"forksCount":163,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-01T15:13:55.555Z"}},{"type":"Public","name":"DroidBench","owner":"pascal-lab","isFork":true,"description":"A micro-benchmark suite to assess the stability of taint-analysis tools for Android","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":114,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-20T14:18:52.921Z"}},{"type":"Public","name":"android-benchmarks","owner":"pascal-lab","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-20T14:18:17.991Z"}},{"type":"Public","name":"java-benchmarks","owner":"pascal-lab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":25,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-21T03:23:04.674Z"}},{"type":"Public","name":"android-platforms","owner":"pascal-lab","isFork":true,"description":"A collection of all android.jar files for the different platform versions.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":106,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-11T07:57:19.082Z"}},{"type":"Public","name":"UBCBench","owner":"pascal-lab","isFork":true,"description":"UBCBench contains all benchmarks we designed for confirming our hypothesized findings while analyzing the three well-known static taint analysis tools, FlowDroid, Amandroid, and DroidSafe. ","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":7,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-05T19:35:58.057Z"}},{"type":"Public","name":"Tai-e-assignments","owner":"pascal-lab","isFork":false,"description":"Tai-e assignments for static program analysis","allTopics":["java","education","static-analysis","program-analysis"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":12,"starsCount":993,"forksCount":229,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-27T01:46:39.462Z"}}],"repositoryCount":7,"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":"Repositories"}