TaintDroid Software Authors: Enck, W., Gilbert, P., Han, S., Tendulkar, V., Chun, B.-G., Cox, L.P., Jung, J., McDaniel, P., Sheth, A.N. Cited in: 7 Publications (2013–2020) Related Software: Dytan; JFlow; FlowDroid; TAJ; F4F; DREBIN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
TAJ Software Authors: Tripp, O., Pistoia, M., Fink, S.J., Sridharan, M., Weisman, O. Cited in: 7 Publications (2013–2021) Related Software: FlowDroid; Dytan; F4F; Panorama; TaintDroid; Pixy; … Main Fields: Computer science (68-XX)
Dytan Software Authors: Clause, J., Li, W., Orso, A. Cited in: 5 Publications (2013–2021) Related Software: TAJ; TaintDroid; Panorama; FlowDroid; F4F; Pixy; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
FlowDroid Software Authors: Arzt, S., Rasthofer, S., Fritz, C., Bodden, E., Bartel, A., Klein, J., Le Traon, Y., Octeau, D., McDaniel, P. Cited in: 5 Publications (2015–2021) Related Software: TAJ; Dytan; TaintDroid; MCGP; FlashMeta; FlashRelate; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
Pixy Software Authors: N. Jovanovic, C. Kruegel, E. Kirda Cited in: 3 Publications (2014–2020) Related Software: AMNESIA; TAJ; Dytan; F4F; GitHub; Saner; … Main Fields: Computer science (68-XX)
F4F Software Authors: Sridharan, M.; Artzi, S.; Pistoia, M.; Guarnieri, S.; Tripp, O.; Berg, R. Cited in: 3 Publications (2013–2020) Related Software: TAJ; Dytan; TaintDroid; Pixy; MorphDroid; Aletheia; … Main Fields: Computer science (68-XX)
LIFT Software Authors: Feng Qin , Cheng Wang , Zhenmin Li , Ho-seop Kim , Yuanyuan Zhou , Youfeng Wu Cited in: 1 Publication (2014) Related Software: JFlow; M-Sim; SIFT; QEMU; Valgrind; Panorama; … Main Fields: Computer science (68-XX)
DTA++ Software Authors: Kang MG, McCamant S, Poosankam P, Song D Cited in: 2 Publications (2012–2019) Related Software: LeakWatch; QUAIL; ANTLR; WUSSTrace; DART Main Fields: Statistics (62-XX); Computer science (68-XX)
SmartCheck Software Authors: Tikhomirov, S., et al. Cited in: 2 Publications (2021) Related Software: Vandal; GitHub; eThor Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)
SymJS Software Authors: Li, G., Andreasen, E., Ghosh, I. Cited in: 2 Publications (2017–2019) Related Software: S3; Z3-str; PASS; HAMPI; KLEE; z3; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Apposcopy Software Authors: Feng, Y., Anand, S., Dillig, I., Aiken, A. Cited in: 1 Publication (2015) Related Software: EviCheck; Androguard; AppGuard; FlowDroid; TaintDroid Main Fields: Computer science (68-XX)
AppTrace Software Authors: L. Qiu, Z. Zhang, Z. Shen, G. Sun Cited in: 0 Publications Related Software: MADAM; ARTDroid; Boxify; Frida; ARTist; Tracee; … Main Fields: –
BackFlow Software Authors: Ferrara, Pietro; Olivieri, Luca; Spoto, Fausto Cited in: 1 Publication (2020) Related Software: MorphDroid; Aletheia; Sails; Panorama; FlowDroid; TAJ; … Main Fields: Computer science (68-XX)
CoChecker Software Authors: Cui, Xingmin; Yu, Da; Chan, Patrick; Hui, Lucas C.K.; Yiu, S.M.; Qing, Sihan Cited in: 1 Publication (2014) Related Software: DroidBench Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
DroidBench Software Authors: Christian Fritz, Steven Arzt, Siegfried Rasthofer Cited in: 1 Publication (2014) Related Software: CoChecker Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
IccTA Software Authors: Li Li; Alexandre Bartel; Tegawendé F. Bissyandé; Jacques Klein; Yves Le Traon; Steven Arzt; et al. Cited in: 0 Publications Related Software: LibRadar; FraudDroid; monkeyrunner; YOLO; Fiddler; Python; … Main Fields: –
Mythril Software Authors: ConsenSys Cited in: 1 Publication (2021) Related Software: Why3; solgraph; EthVer; Manticore; GitHub; WhyML; … Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)
ovAFLow Software Authors: Zhang, G.; Wang, P.; Yue, T. Cited in: 1 Publication (2023) Related Software: Bugaroo; Juliet Test Suite; Cppcheck; DeepWukong; VulDeePecker; Flawfinder; … Main Fields: Computer science (68-XX)
Ponce Software Authors: Illera A.G. Cited in: 0 Publications Related Software: LLVM; KLEE; z3; Ghidra; SENinja; Triton; … Main Fields: –
SEEAD Software Authors: Zhanyong Tang, Lei Wang, Kaiyuan Kuang, Chao Xue, Xiaoqing Gong, Xiaojiang Chen, Dingyi Fang, Zheng Wang Cited in: 1 Publication (2019) Related Software: VOT4CS; pyftpdlib; DynOpVm; VMHunt; NISLVMP; Capstone; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
SwordDTA Software Authors: Cai, Jun; Zou, Peng; Ma, Jinxin; He, Jun Cited in: 0 Publications Related Software: Dytan; Pixy; GitHub; DART; KLEE; CUTE Main Fields: Computer science (68-XX)
Slither Software Authors: Feist, J., Greico, G., Groce, A. Cited in: 0 Publications Related Software: – Main Fields: –
Taintscope Software Authors: Wang T, Wei T, Gu G, Zou W Cited in: 0 Publications Related Software: – Main Fields: –