电子发烧友App

硬声App

0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示
电子发烧友网>电子资料下载>电子资料>Semantic程序代码解析、分析和比较工具

Semantic程序代码解析、分析和比较工具

2022-06-13 | zip | 1.68 MB | 次下载 | 免费

资料介绍

授权协议 MIT
开发语言 Haskell
操作系统 跨平台
软件类型 开源软件

软件简介

semantic 是一个 Haskell 库和命令行工具,用来解析、分析和比较程序代码

使用方法:

Parse

Usage: semantic parse ([--sexpression] | [--json] | [--json-graph] | [--symbols]
                      | [--dot] | [--show] | [--quiet]) [FILES...]
  Generate parse trees for path(s)

Available options:
  --sexpression            Output s-expression parse trees (default)
  --json                   Output JSON parse trees
  --json-graph             Output JSON adjacency list
  --symbols                Output JSON symbol list
  --dot                    Output DOT graph parse trees
  --show                   Output using the Show instance (debug only, format
                           subject to change without notice)
  --quiet                  Don't produce output, but show timing stats

Diff

Usage: semantic diff ([--sexpression] | [--json] | [--json-graph] | [--toc] |
                     [--dot] | [--show]) [FILE_A] [FILE_B]
  Compute changes between paths

Available options:
  --sexpression            Output s-expression diff tree (default)
  --json                   Output JSON diff trees
  --json-graph             Output JSON diff trees
  --toc                    Output JSON table of contents diff summary
  --dot                    Output the diff as a DOT graph
  --show                   Output using the Show instance (debug only, format
                           subject to change without notice)

Graph

Usage: semantic graph ([--imports] | [--calls]) [--packages] ([--dot] | [--json]
                      | [--show]) ([--root DIR] [--exclude-dir DIR]
                      DIR:LANGUAGE | FILE | --language ARG (FILES... | --stdin))
  Compute a graph for a directory or from a top-level entry point module

Available options:
  --imports                Compute an import graph (default)
  --calls                  Compute a call graph
  --packages               Include a vertex for the package, with edges from it
                           to each module
  --dot                    Output in DOT graph format (default)
  --json                   Output JSON graph
  --show                   Output using the Show instance (debug only, format
                           subject to change without notice)
  --root DIR               Root directory of project. Optional, defaults to
                           entry file/directory.
  --exclude-dir DIR        Exclude a directory (e.g. vendor)
  --language ARG           The language for the analysis.
  --stdin                  Read a list of newline-separated paths to analyze
                           from stdin.

支持的编程语言:

poYBAGKh0JmAAkEiAAF37JhFZ0k613.jpg

 

下载该资料的人也在下载 下载该资料的人还在阅读
更多 >

评论

查看更多

下载排行

本周

  1. 1IP5332电源管理SOC中文手册
  2. 2.94 MB  |  3次下载  |  免费
  3. 2RGB SMD LED打造壮观的灯光秀
  4. 3.39 MB  |  2次下载  |  免费
  5. 3SD8224C触摸检测IC中文手册
  6. 13.73 MB  |  1次下载  |  2 积分
  7. 4PG-FP5 Flash Memory Programmer Setup 手册
  8. 150.83KB  |  1次下载  |  免费
  9. 5ZSPM9015数据表
  10. 601.74KB  |  1次下载  |  免费
  11. 6通过WIFI修改配置
  12. 0.71 MB  |  1次下载  |  免费
  13. 7LabVIEW调康耐视VisionPro
  14. 12.47 MB  |  1次下载  |  10 积分
  15. 8M16C/63 组 数据表
  16. 1016.09KB  |  1次下载  |  免费

本月

  1. 1传感器基础知识讲座
  2. 9.21 MB  |  37次下载  |  免费
  3. 2ASUS主板图纸
  4. 1.49 MB  |  21次下载  |  免费
  5. 3中科昊芯Start_DSC28034PNT开发板试用手册
  6. 2.98 MB  |  15次下载  |  免费
  7. 4Labview的9点标定计算
  8. 0.22 MB  |  8次下载  |  5 积分
  9. 5实现高效率、无LDO、低损耗电源的低噪声和低纹波技术
  10. 2.20 MB  |  8次下载  |  免费
  11. 6STM32F10xxx参考手册(中文)
  12. 15.19 MB  |  7次下载  |  1 积分
  13. 7智能电源板开源分享
  14. 0.00 MB  |  7次下载  |  免费
  15. 8STM32F10xxx闪存编程参考手册(中文)
  16. 0.45 MB  |  6次下载  |  1 积分

总榜

  1. 1matlab软件下载入口
  2. 未知  |  935037次下载  |  免费
  3. 2protel99se软件下载(可英文版转中文版)
  4. 78.1 MB  |  537765次下载  |  免费
  5. 3MATLAB 7.1 下载 (含软件介绍)
  6. 未知  |  420007次下载  |  免费
  7. 4OrCAD10.5下载,OrCAD10.5中文版软件
  8. 817182  |  234275次下载  |  免费
  9. 5Altium DXP2002下载入口
  10. 未知  |  233031次下载  |  免费
  11. 6数据采集系统基础知识视频
  12. 16.3 MB  |  192989次下载  |  免费
  13. 7电路仿真软件multisim 10.0免费下载
  14. 340992  |  191158次下载  |  免费
  15. 8十天学会AVR单片机与C语言视频教程 下载
  16. 158M  |  183248次下载  |  免费