Approximate call graph builder for JavaScript