草庐IT

javascript - 是否有用于 JavaScript 的静态调用图和/或控制流图 API？

coder 2023-05-29 原文

是否有任何用于 JavaScript 的调用图和/或控制流图生成器？

调用图 - http://en.wikipedia.org/wiki/Call_graph

控制流图 - http://en.wikipedia.org/wiki/Control_flow_graph

编辑:我正在寻找一个静态工具，让我可以使用一些 API/代码访问图表

最佳答案

为此，您需要:

  • 解析，
  • 名称解析(处理范围)
  • 类型分析(虽然 JavaScript 可以说是“动态类型”，但有各种类型的常量，包括这里特别感兴趣的函数常量)
  • 控制流分析(在方法中构建控制流图的结构)
  • 数据流分析(跟踪这些类型的生成/使用位置)
  • 什么相当于全局指向分析(跟踪函数之间作为值传递到应用点的函数常量)。

如何做到这一点在编译器文献中有很好的记录。但是，实现这个问题需要付出相当大的努力，因此“您可以使用解析器结果来获取您想要的结果”形式的答案却没有捕获重点。

如果您可以应用所有这些机制，您将得到的实际结果是一个保守的答案，例如，“A 可能会调用 B”。这就是你所知道的，考虑一下

 void A(int x,y) { if (x>y) foo.B(); }

因为某个工具有时根本无法推理复杂的逻辑，所以即使应用程序设计人员知道这是不可能的，您也可能会得到“A 可以调用 B”:

 void A(int x) // programmer asserts x<4
   { if (x>5) foo.B(); }

eval 使问题变得更糟，因为您需要跟踪到达 eval 命令的字符串值结果并对其进行解析以获得某种线索，以了解正在评估哪些代码以及哪些函数eval'd 代码可能会调用。如果有人将字符串中的“eval”传递给 eval，事情会变得非常糟糕:-{ 您还可能需要对程序执行上下文进行建模；我怀疑有很多包含回调的浏览器 API。

如果有人为您提供工具，该工具已完全配置了所有必要的机器，可以开箱即用地解决您的问题，那显然很棒。我怀疑你不会得到这样的提议，因为这样的工具不存在。原因是所需的所有基础设施；它很难构建，几乎没有人可以证明它只是一种工具。即使是“优化 JavaScript 编译器”，如果你能找到一个可能不会拥有所有这些机制，尤其是全局分析，而且它所拥有的东西不太可能以一种易于使用的形式打包为你的目的。

自从我 1969 年开始编程以来，我一直在努力解决这个问题(当时我的一些程序是编译器，我想要所有这些东西)。实现这一目标的唯一方法是将所有这些机器的成本分摊到很多个工具中。

我公司提供DMS Software Reengineering Toolkit ，一个通用编译器分析和转换机制的包，具有多种工业级计算机语言前端(包括 C、C++、COBOL 和是的，JavaScript)。 DMS 提供 API 以支持在其通用基础上构建自定义工具。

消息顶部列出的通用机制都存在于 DMS 中，包括 control flow graph and data flow analysis可通过一个干净的文档 API 获得。该流程分析必须与特定的语言前端相关联。这也需要一些工作，所以我们还没有为所有语言完成它。我们已经为 C [在 18,000 个编译单元的系统上作为一个整体进行了测试，包括计算现有 250,000 个函数的调用图，包括间接函数调用!]、COBOL 和 Java，我们正在研究 C++。

DMS 与此线程中的其他答案具有相同的“JavaScript”解析器答案，并且从这个 Angular 来看，DMS 并不比其他“在解析器之上构建它”的答案更好。区别应该很清楚:machinery 已经存在于 DMS 中，因此工作不是实现机器并绑定(bind)到解析器；它只是将它绑定(bind)到解析器。这仍然需要一些工作，但比从解析器开始要少得多。

关于javascript - 是否有用于 JavaScript 的静态调用图和/或控制流图 API？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/5388618/

javascriptsectionnoreferrernoopenernode.jsserverside-javascriptcontrol-flowcall-graph

有关javascript - 是否有用于 JavaScript 的静态调用图和/或控制流图 API？的更多相关文章

  1. ruby-on-rails - 如何验证 update_all 是否实际在 Rails 中更新 - 2

    给定这段代码defcreate@upgrades=User.update_all(["role=?","upgraded"],:id=>params[:upgrade])redirect_toadmin_upgrades_path,:notice=>"Successfullyupgradeduser."end我如何在该操作中实际验证它们是否已保存或未重定向到适当的页面和消息？ 最佳答案 在Rails3中，update_all不返回任何有意义的信息，除了已更新的记录数(这可能取决于您的DBMS是否返回该信息)。http://ar.ru

  2. ruby - 检查数组是否在增加 - 2

    这个问题在这里已经有了答案:Checktoseeifanarrayisalreadysorted?(8个答案)关闭9年前。我只是想知道是否有办法检查数组是否在增加？这是我的解决方案，但我正在寻找更漂亮的方法:n=-1@arr.flatten.each{|e|returnfalseife

  3. Ruby Readline 在向上箭头上使控制台崩溃 - 2

    当我在Rails控制台中按向上或向左箭头时，出现此错误:irb(main):001:0>/Users/me/.rvm/gems/ruby-2.0.0-p247/gems/rb-readline-0.4.2/lib/rbreadline.rb:4269:in`blockin_rl_dispatch_subseq':invalidbytesequenceinUTF-8(ArgumentError)我使用rvm来管理我的ruby​​安装。我正在使用=>ruby-2.0.0-p247[x86_64]我使用bundle来管理我的gem，并且我有rb-readline(0.4.2)(人们推荐的最少

  4. ruby-on-rails - 带 Spring 锁的 Rails 4 控制台 - 2

    我正在使用Ruby2.1.1和Rails4.1.0.rc1。当执行railsc时，它被锁定了。使用Ctrl-C停止，我得到以下错误日志:~/.rvm/gems/ruby-2.1.1/gems/spring-1.1.2/lib/spring/client/run.rb:47:in`gets':Interruptfrom~/.rvm/gems/ruby-2.1.1/gems/spring-1.1.2/lib/spring/client/run.rb:47:in`verify_server_version'from~/.rvm/gems/ruby-2.1.1/gems/spring-1.1.

  5. ruby-on-rails - openshift 上的 rails 控制台 - 2

    我将我的Rails应用程序部署到OpenShift，它运行良好，但我无法在生产服务器上运行“Rails控制台”。它给了我这个错误。我该如何解决这个问题？我尝试更新ruby​​gems，但它也给出了权限被拒绝的错误，我也无法做到。railsc错误:Warning:You'reusingRubygems1.8.24withSpring.UpgradetoatleastRubygems2.1.0andrun`gempristine--all`forbetterstartupperformance./opt/rh/ruby193/root/usr/share/rubygems/rubygems

  6. ruby - 检查字符串是否包含散列中的任何键并返回它包含的键的值 - 2

    我有一个包含多个键的散列和一个字符串，该字符串不包含散列中的任何键或包含一个键。h={"k1"=>"v1","k2"=>"v2","k3"=>"v3"}s="thisisanexamplestringthatmightoccurwithakeysomewhereinthestringk1(withspecialcharacterslike(^&*$#@!^&&*))"检查s是否包含h中的任何键的最佳方法是什么，如果包含，则返回它包含的键的值？例如，对于上面的h和s的例子，输出应该是v1。编辑:只有字符串是用户定义的。哈希将始终相同。 最佳答案

  7. ruby-on-rails - Ruby 检查日期时间是否为 iso8601 并保存 - 2

    我需要检查DateTime是否采用有效的ISO8601格式。喜欢:#iso8601?我检查了ruby​​是否有特定方法，但没有找到。目前我正在使用date.iso8601==date来检查这个。有什么好的方法吗？编辑解释我的环境，并改变问题的范围。因此，我的项目将使用jsapiFullCalendar，这就是我需要iso8601字符串格式的原因。我想知道更好或正确的方法是什么，以正确的格式将日期保存在数据库中，或者让ActiveRecord完成它们的工作并在我需要时间信息时对其进行操作。 最佳答案 我不太明白你的问题。我假设您想检查

  8. 使用 ACL 调用 upload_file 时出现 Ruby S3 "Access Denied"错误 - 2

    我正在尝试编写一个将文件上传到AWS并公开该文件的Ruby脚本。我做了以下事情:s3=Aws::S3::Resource.new(credentials:Aws::Credentials.new(KEY,SECRET),region:'us-west-2')obj=s3.bucket('stg-db').object('key')obj.upload_file(filename)这似乎工作正常，除了该文件不是公开可用的，而且我无法获得它的公共(public)URL。但是当我登录到S3时，我可以正常查看我的文件。为了使其公开可用，我将最后一行更改为obj.upload_file(file

  9. ruby - 检查日期是否在过去 7 天内 - 2

    我的日期格式如下:"%d-%m-%Y"(例如，今天的日期为07-09-2015)，我想看看是不是在过去的七天内。谁能推荐一种方法？ 最佳答案 你可以这样做:require"date"Date.today-7 关于ruby-检查日期是否在过去7天内，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.com/questions/32438063/

  10. ruby - 如何验证 IO.copy_stream 是否成功 - 2

    这里有一个很好的答案解释了如何在Ruby中下载文件而不将其加载到内存中:https://stackoverflow.com/a/29743394/4852737require'open-uri'download=open('http://example.com/image.png')IO.copy_stream(download,'~/image.png')我如何验证下载文件的IO.copy_stream调用是否真的成功——这意味着下载的文件与我打算下载的文件完全相同，而不是下载一半的损坏文件？documentation说IO.copy_stream返回它复制的字节数，但是当我还没有下

随机推荐