tool;citekey;binary;source;url;repo;documentation;decision;exclude;why;forkusable;authorconfirmed;lang;licences;os;origin;stars;alive;date;selected;selectedstars;selecteddate;nbaliveforks;remark;urlselected
A3E ;DBLPconfoopslaAzimN13;nr;ok;https://github.com/tanzirul/a3e;github;ok;ko;EXCLUDE;Hybrid tool (static/dynamic);ko;;;;;tanzirul/a3e;40;ko;2016-09-15;origin;40;2016-09-15;1;auto;https://github.com/tanzirul/a3e
A5 ;vidasA5AutomatedAnalysis2014;nr;ok;https://github.com/tvidas/a5;github;ko;ko;EXCLUDE;Hybrid tool (static/dynamic);ko;;;;;tvidas/a5;12;ko;2014-07-31;origin;12;2014-07-31;0;auto;https://github.com/tvidas/a5
Adagio ;gasconStructuralDetectionAndroid2013;nr;ok;https://github.com/hgascon/adagio;github;ok;ok;;;ko;ok;Python;GPL 2.0;U20.04;hgascon/adagio;74;ok;2022-11-17;origin;74;2022-11-17;0;auto;https://github.com/hgascon/adagio
Amandroid ;weiAmandroidPreciseGeneral2014;ok;ok;https://github.com/arguslab/Argus-SAF;github;ok;ok;;;ko;ok;Scala;Apache 2.0;U22.04;arguslab/Argus-SAF;161;ko;2021-11-10;origin;161;2021-11-10;2;auto;https://github.com/arguslab/Argus-SAF
Anadroid ;liangSoundPreciseMalware2013;ko;ok;https://github.com/maggieddie/pushdownoo;github;ok;ok;;;ko;ko;Scala/Java/Python;CRAPL 2012;U22.04;maggieddie/pushdownoo;10;ko;2014-06-18;origin;10;2014-06-18;0;auto;https://github.com/maggieddie/pushdownoo
Androguard ;desnos:adnroguard:2011;nr;ok;https://github.com/androguard/androguard;github;okk;ok;;;ko;ko;Python;Apache 2.0;Python 3.11 slim;androguard/androguard;4430;ok;2023-02-01;origin;4430;2023-02-01;3;auto;https://github.com/androguard/androguard
Android-app-analysis;geneiatakisPermissionVerificationApproach2015;ko;ok;https://code.google.com/archive/p/android-app-analysis-tool/source/default/source;google;okk;ko;EXCLUDE;Hybrid tool (static/dynamic);;;;;;android-app-analysis-tool;40;ko;2014-06-25;origin;;2014-06-25;;Android-app;https://code.google.com/archive/p/android-app-analysis-tool/source/default/source
Apparecium ;titzeAppareciumRevealingData2015;ok;ok;https://github.com/askk/apparecium;github;ko;ok;;;ko;ko;Python;MIT;U22.04;askk/apparecium;0;ko;2014-11-07;origin;0;2014-11-07;1;auto;https://github.com/askk/apparecium
BlueSeal ;shenInformationFlowsPermission2014;ko;ok;https://github.com/ub-rms/blueseal;github;bad;ok;;;ko;ok;Java;No licence;U14.04;ub-rms/blueseal;0;ko;2018-07-04;origin;0;2018-07-04;0;auto;https://github.com/ub-rms/blueseal
Choi #etal ;CHOI2014620;ko;ok;https://github.com/kwanghoon/javaAnalysis;github;bad;ko;EXCLUDE;Works on source files only;ko;;;;;kwanghoon/JavaAnalysis;1;ok;2022-01-09;origin;1;2022-01-09;0;auto;https://github.com/kwanghoon/JavaAnalysis
DIALDroid ;bosuCollusiveDataLeak2017;ok;ok;https://github.com/dialdroid-android/DIALDroid;github;ok;ok;;;ko;ko;Java;GPL 3.0;U18.04;dialdroid-android/DIALDroid;16;ko;2018-04-17;origin;16;2018-04-17;1;auto;https://github.com/dialdroid-android/DIALDroid
DidFail ;klieberAndroidTaintFlow2014;ok;ok;https://bitbucket.org/wklieber/didfail/src/master/;bitbucket;bad;ok;;;;ok;Java/Python;3-Clause BSD;U12.04;lori\_flynn/didfail;4;ko;2015-06-17;origin;;2015-06-17;;DidFail;https://bitbucket.org/wklieber/didfail/src/master/
DroidSafe ;DBLPconfndssGordonKPGNR15;ko;ok;https://github.com/MIT-PAC/droidsafe-src;github;ok;ok;;;ko;ok;Java/Python;GPL 2.0;U14.04;MIT-PAC/droidsafe-src;92;ko;2017-04-17;origin;92;2017-04-17;3;auto;https://github.com/MIT-PAC/droidsafe-src
Flowdroid ;Arzt2014a;ok;ok;https://github.com/secure-software-engineering/FlowDroid;github;okk;ok;;;ko;ok;Java;LGPL 2.1;U22.04;secure-software-engineering/FlowDroid;868;ok;2023-05-07;origin;868;2023-05-07;1;auto;https://github.com/secure-software-engineering/FlowDroid
Gator ;rountevStaticReferenceAnalysis2014,yangStaticControlFlowAnalysis2015;ko;ok;http://web.cse.ohio-state.edu/presto/software/gator/;edu;okk;ok;;;;ok;Java/Python;3-Clause BSD;U22.04;web;;;2019-09-09;origin;;2019-09-09;;Gator;http://web.cse.ohio-state.edu/presto/software/gator/
IC3 ;octeauCompositeConstantPropagation2015;ok;ok;https://github.com/siis/ic3;github;bad;ok;;;ok;ko;Java;Apache 2.0;U12.04 / 22.04;siis/ic3;32;ko;2015-09-17;JordanSamhi/ic3;4;2022-12-06;3;auto;https://github.com/JordanSamhi/ic3
IccTA ;liIccTADetectingInterComponent2015;ok;ok;https://github.com/lilicoding/soot-infoflow-android-iccta;github;ok;ok;;;ko;ok;Java;LGPL 2.1;U22.04;lilicoding/soot-infoflow-android-iccta;83;ko;2016-02-21;origin;83;2016-02-21;0;auto;https://github.com/lilicoding/soot-infoflow-android-iccta
Lotrack ;lillackTrackingLoadtimeConfiguration2014;ko;ok;https://github.com/MaxLillack/Lotrack;github;ko;bad;;Authors ack. a partial doc.;ko;ok;Java;Apache 2.0;?;MaxLillack/Lotrack;5;ko;2017-05-11;origin;5;2017-05-11;2;auto;https://github.com/MaxLillack/Lotrack
MalloDroid ;fahlWhyEveMallory2012;nr;ok;https://github.com/sfahl/mallodroid;github;ok;ok;;;ko;ko;Python;LGPL 3.0;U16.04;sfahl/mallodroid;64;ko;2013-12-30;origin;64;2013-12-30;10;auto;https://github.com/sfahl/mallodroid
PerfChecker ;liuCharacterizingDetectingPerformance2014;ko;ko;http://castle.cse.ust.hk/perfchecker/tool_obtain.php;request;bad;ok;;Binary obtained from authors;;ok;Java;Proprietary;U14.04;authors;;ko;--;origin;;--;;Perfchecker;???
Poeplau #etal;DBLPconfndssPoeplauFBKV14; ko ;bad;https://github.com/sebastianpoeplau/android-whitelists;github;ko;ko;EXCLUDE;Related to Android hardening;ko;;;;;sebastianpoeplau/android-whitelists;1;ko;2014-03-14;origin;1;2014-03-14;0;auto;https://github.com/sebastianpoeplau/android-whitelists
Redexer ;jeonDrAndroidMr2012;ko;ok;https://github.com/plum-umd/redexer;github;ok;ok;;;ko;ok;Ocaml/Ruby;3-Clause BSD;U22.04;plum-umd/redexer;153;ko;2021-05-20;origin;153;2021-05-20;0;auto;https://github.com/plum-umd/redexer
SAAF ;hoffmannSlicingDroidsProgram2013;ok;ok;https://github.com/SAAF-Developers/saaf;github;ok;ok;;;ko;ok;Java;GPL 3.0;U14.04;SAAF-Developers/saaf;35;ko;2015-09-01;origin;35;2015-09-01;5;auto;https://github.com/SAAF-Developers/saaf
StaDynA ;zhauniarovichStaDynAAddressingProblem2015; ko ;ok;https://github.com/zyrikby/StaDynA;request;ok;ko;EXCLUDE;Hybrid tool (static/dynamic);;;;;;authors;;;2020-02-14;origin;;2020-02-14;;Stadyna;https://github.com/zyrikby/StaDynA
Thresher ;blackshearThresherPreciseRefutations2013;ko;ok;https://github.com/cuplv/thresher;github;ok;bad;;Not built with author’s help;ko;ok;Java;Apache 2.0;U14.04;cuplv/thresher;31;ko;2014-10-25;origin;31;2014-10-25;1;auto;https://github.com/cuplv/thresher
Wognsen #etal;wognsenFormalisationAnalysisDalvik2014;nr;ok;https://bitbucket.org/erw/dalvik-bytecode-analysis-tool/src/master/;bitbucket;ko;ok;;;ko;ko;Python/Prolog;No licence;U22.04;erw/dalvik-bytecode-analysis-tool;;;2022-06-27;origin;;2022-06-27;;Wognsen;???