Extension of the call-graph and call-graph-based algorithms#641

Merged

peterschrammel merged 3 commits intodiffblue:security-scanner-supportfrom

marek-trtik:CG_update_PR

Mar 24, 2017

Commits on Mar 15, 2017

Added mapping from edges of the call-graph to particular instructions in the caller GOTO programs, where the calls are performed.
marek-trtik
committed
CPPLINT
marek-trtik
committed

Commits on Mar 16, 2017

Unimportant: added void comments, some white characters, and one artificial block enclosing an if-statement.
marek-trtik
committed