... presence of dynamic class loading. In: ACSC (2005) 16. Xue, J., Nguyen, P.H.: Completeness analysis for incomplete ... Reflection analysis for Java. In: Yi, K. (ed.) APLAS 2005. LNCS, vol. 3780, pp. 139–160. Springer, Heidelberg ...
... reflection code into regular operations on objects according to their concrete types that are con- strained manually. Elf can be viewed as a tool for inferring such constraints automatically. To increase code coverage, some static analysis ...
... static program slicing for industrial software systems. In: ICSE 2011 (2011) 2. Bodden, E., Sewe, A., Sinschek, J., Oueslati, H., Mezini, M.: Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders ...
... Taming reflection : Aiding static analysis in the presence of reflection and custom class loaders . In Proceedings of the 33rd International Conference on Software Engineering , ICSE '11 , pages 241-250 , New York , NY , USA , 2011. ACM ...
... Taming reflection : aiding static analysis in the presence of reflection and custom class loaders . In : Proceedings of the ICSE 2011. АСМ ( 2011 ) 9. Dietrich , J. , Jezek , K. , Rasheed , S. , Tahir , A. , Potanin , A .: Evil pickles ...
... Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, pp. 241–250. ACM, New York (2011) 5. Bravenboer ...
... static analyzers result in large number of false negatives in the presence of reflection. EspyDroid improves the ... Analysis Frame- work for Android Platform (SAFAL, Grant 1000109932) by Department of Electronics and Information ...
... analysis “at speed” is critical for enabling software engineers to quickly remove defects at production time and ... class-loading capability of ReHAna to perform program decomposition that can make event sequence generation and ...
... Taming reflection: aiding static analysis in the presence of reflection and custom class loaders. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, pp. 241–250. ACM, New York (2011) 5. Brito, A ...
... static analysis of C ++ virtual function calls . In : 11th ACM SIGPLAN Conference on Object - Oriented Programming ... Taming reflection : Aiding static analysis in the presence of reflection and custom class loaders . In : 33rd ...