TY  - JOUR
AU  - Horpácsi, Dániel
AU  - Horpácsiné Kőszegi, Judit
TI  - Static analysis of function calls in Erlang. Refining the static function call graph with dynamic call information by using data-flow analysis
TS  - Refining the static function call graph with dynamic call information by using data-flow analysis
JF  - E-INFORMATICA: SOFTWARE ENGINEERING JOURNAL
J2  - E-INFO: SOFTWARE ENG J
VL  - 7
PY  - 2013
SP  - 65
EP  - 76
PG  - 12
SN  - 1897-7979
DO  - 10.5277/e-Inf130107
UR  - https://m2.mtmt.hu/api/publication/2193997
ID  - 2193997
AB  - Functions and their relations can affect numerous properties and metrics of a functional program. To identify and represent the functions and their calling connections, software analysers commonly apply semantic function analysis, which derives the static call graph of the program, based on its source code. Function calls however may be dynamic and complex, making it difficult to statically identify the callee. Dynamic calls are determined just at run-time, static analysis therefore cannot be expected to fully identify every call. Nevertheless, by utilising the results of a properly performed data-flow analysis as well as taking ambiguous references into account, numerous dynamic calls are discoverable and representable. We consider cases where the identifiers of the callee are statically determined, but they flow into the call expression from a different program point, and also, we manage to handle function calls whose identifiers are not fully identifiable at compile-time. By utilising the improved reference analysis, we extend the static call graph with various information about dynamic function calls. We investigate such a function call analysis in the programming language Erlang.
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Bozó, István
AU  - Horpácsi, Dániel
AU  - Horváth, Zoltán
AU  - Kitlei, Róbert
AU  - Horpácsiné Kőszegi, Judit
AU  - Tejfel, Máté
AU  - Tóth, Melinda
ED  - Penjam, Jaan
TI  - RefactorErl - Source Code Analysis and Refactoring in Erlang
T2  - 12th Symposium on Programming Languages and Software Tools, SPLST 2011
PB  - Tallinn University of Technology
CY  - Tallinn
SN  - 9789949231782
PY  - 2011
SP  - 138
EP  - 148
PG  - 11
UR  - https://m2.mtmt.hu/api/publication/1985696
ID  - 1985696
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Tóth, Melinda
AU  - Bozó, István
AU  - Horváth, Zoltán
AU  - Erdődi, Attila
ED  - Vivek, Sarkar
ED  - Vasco, T Vasconcelos
TI  - Static analysis and refactoring towards Erlang multicore programming
T2  - Pre-Proceedings of the Fourth Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES'11,
PY  - 2011
SP  - 43
EP  - 50
PG  - 8
UR  - https://m2.mtmt.hu/api/publication/2760423
ID  - 2760423
LA  - English
DB  - MTMT
ER  -