首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
社区首页 >问答首页 >如何使用WALA进行前向切片

如何使用WALA进行前向切片
EN

Stack Overflow用户
提问于 2019-01-31 03:52:26
回答 1查看 358关注 0票数 3

我做程序切片已经有一段时间了。由于这种后向切片工作在控制流图(CFG)上,并且有很多生成CFG的工具,所以我很容易地用Java实现了反向切片算法。

然而,正如读过一些文章一样,我看到了前向切片在系统依赖图上的工作,我发现瓦拉生成SDG,但也实现了转发切片。

WALA是一个非常大的项目,我有点迷失在它的代码和文档中。有任何例子说明我如何使用瓦拉前切法 for Java吗?或者至少我可以用点格式生成给定程序的SDG,这样我也可以用Graphviz来可视化它。

EN

回答 1

Stack Overflow用户

发布于 2019-08-20 00:23:14

WALA用户指南可能对你有帮助。在其示例中,可以将computeBackwardSlice方法更改为computeForwardSlice方法以实现前向切片。

Wala已经实现为jars,您可以下载以下四个jars来调用它们的方法。com.ibm.wala.core com.ibm.wala.cast com.ibm.wala.shrike com.ibm.wala.util

票数 -2
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/54459998

复制
相关文章
如何使用GraphQL进行前端数据交互
嘿,大家好!今天我要和大家聊一聊一个非常酷炫的技术——GraphQL。你可能听说过它,也可能对它一无所知。不管怎样,我保证你在读完这篇文章之后,会对GraphQL有一个全新的认识!
小白学大数据
2023/07/13
3220
如何使用 xorm 在执行前改写 SQL
有时候你需要再 SQL 执行之前对于 SQL 语句进行改写,有可能是修改表名字段名,有可能只是添加注释,这些看起来奇怪的操作其实有时候是为了帮助在数据库之前的 proxy 来实现某些功能,比如最常见的分库分表,读写分离,多租户等等。
LinkinStar
2023/10/18
4591
文件切片上传如何防止切片丢失
上篇文章咱们介绍了大文件切片上传的原理,但是在传输过程中难免出现切片丢失的情况,传输过程中网速卡顿,服务器链接超时,等等都会造成切片信息的丢失,那如何避免文件切片信息丢失呢?
挥刀北上
2019/08/06
2.6K0
如何在Go中使用切片容量和长度
Run it on the Go Playground → https://play.golang.org/p/7PgUqBdZ6Z
KevinYan
2019/11/18
7110
如何用gzip进行前端性能优化?
HTTP 可以对传输的内容进行压缩,减少网络实际传输数据的大小。原理就是 服务器对文件进行 gzip 压缩后,再进行传输,浏览器收到资源后再解压的过程。
Learn-anything.cn
2021/11/27
1.6K0
go 切片使用小结
最新项目使用go语言开发,因此有机会结识了go语言。在写代码时,无意间发现了同事代码的一个bug。今天拿来一起学习一下。 首先go语言有个强大的基本数据结构,那就是切片,切片相对于数组更加灵活,动态扩展性极好。而go 语言有个内置函数,叫append,函数原型如下:func append(slice []Type, elems ...Type) []Type,即appen可以对切片追加元素。 下面简单的举个例子,例子可能会有点硬,希望大家理解。 由于消息交互,需要将元素为int 类型的切片,转换为 元素为指
李海彬
2018/03/27
7860
使用 Jest 进行前端单元测试
目前 Jest 已经在 Facebook 开源的 React, React Native 等前端项目中被做为标配测试框架。下面简单介绍一些 Jest 比较有用的功能和用法。
QQ音乐技术团队
2018/01/31
5.6K0
使用 Jest 进行前端单元测试
如何用缓存(Cache)进行前端性能优化?
缓存是一种保存资源副本并在下次请求时直接使用该副本的技术,可减少等待时间和网络流量,显著提升网站性能。
Learn-anything.cn
2021/11/30
8340
如何全链路进行前端性能优化
通常来讲前端性能优化是指从用户开始访问我们的网站到整个页面完整的展现出来的过程中,通过各种优化策略和优化方法让页面加载的更快,让用户的操作响应更及时,给用户更好的使用体验。
桃翁
2021/12/01
1.1K0
如何全链路进行前端性能优化
使用切片拦截Rest服务
我们可以在建立的springboot的项目中建立新的类来是先Filter的接口,doFilter是过滤器中的主要方法,用来做处理逻辑,最后我们只需要在类上加@Component注解就可以让过滤器生效了.
Dream城堡
2019/03/11
5080
使用切片拦截Rest服务
Spring Boot下如何使用自定义的测试切片
Spring Boot 1.4包括对单元测试的重大支持,其中一个特性是测试切片。我想利用这个机会在这篇博客文章中,进一步解释它是什么,以及如何轻松地创建自己的切片。
烟雨平生
2023/03/07
1.6K0
Spring Boot下如何使用自定义的测试切片
使用 Github Action 进行前端自动化发布
说起自动化,无论是在公司还是我们个人的项目中,都会用到或者编写一些工具来帮助我们去处理琐碎重复的工作,以节约时间提升效率,尤其是我们做前端开发会涉及诸如构建、部署、单元测试等这些开发工作流中重复的事项,本篇文章就是介绍如何利用 GitHub 提供的 Actions 来完成我们前端的发布自动化。
NebulaGraph
2020/03/17
1.2K0
使用 Github Action 进行前端自动化发布
Python使用技巧之切片操作
通过制定下标的方式来获得某一个数据元素,或者通过指定下标范围来获得一组序列的元素,这种访问序列的方式叫做切片。
水煮麥楽雞
2022/11/20
4230
Python使用技巧之切片操作
Go 切片使用绕坑指南
不知道大家有没有发现在一个函数内部对切片参数进行了排序后也会改变函数外部原来的切片中元素的顺序,但是在函数内向切片增加了元素后在函数外的原切片却没有新增元素,更奇怪的是添加并排序后,外部的切片有可能元素数量和元素顺序都不会变,这是为什么呢?我们通过三个小测验来解释造成这个现象的原因。
KevinYan
2019/11/19
1.2K0
如何使用hadoop命令向CDH集群提交MapReduce作业
在前面文章Fayson讲过《如何跨平台在本地开发环境提交MapReduce作业到CDH集群》,那对于部分用户来说,需要将打包好的jar包在CDH集群运行,可以使用hadoop或java命令向集群提交MR作业,本篇文章基于前面的文章讲述如何将打包好的MapReduce,使用hadoop命令向CDH提交作业。同时也分为Kerberos和非Kerberos环境提交。
Fayson
2018/03/29
2.2K0
如何使用hadoop命令向CDH集群提交MapReduce作业
Go 语言切片是如何扩容的?
切片是一个拥有相同类型元素的可变长度的序列,它是基于数组类型做的一层封装。它非常灵活,支持自动扩容。
AlwaysBeta
2023/04/09
5690
如何实现端到端网络切片?
3GPP将网络切片定义为5G 网络的主要功能之一,网络切片可看作是动态创建的逻辑端到端网络。在深入研究网络切片的概念之前,我们先简单回顾下 5G 的三大应用场景。 5G用例 移动规范开发的主要机构 3GPP 正在努力实现5G的三个基本用例: eMBB(增强移动宽带):指在现有移动宽带业务场景的基础上,对于用户体验等性能进一步提升,追求人与人之间极致的通信体验。 超可靠低延迟通信(URLLC):对关键任务通信的可靠性和延迟有严格要求的通信,其中包括自动驾驶汽车、远程手术或触觉互联网。 大规模机器类型通信(m
SDNLAB
2022/09/02
1.6K0
如何实现端到端网络切片?
如何向老板提加薪
作为职场人,给老板打工,都希望能够获得升职加薪的机会。对于考核制度比较完善的公司,一般会主动给员工加薪,但对于很多中小型企业,加薪就需要自己向老板提了。那如何跟老板谈加薪呢?
程序媛淼淼
2022/09/01
2750
如何有效向Chatgpt提问
在以前我也写了一篇提问的艺术,不过是面对的对象是人。(详见:更好的解决问题方法:提问的艺术)。最近随着chatgpt的火爆,越来越多的人了解和使用chatgpt,也有很多新的人工智能相继问世,如百度的文心一言,华为的盘古,腾讯的混元,阿里的通义千问,讯飞的星火等等。虽然如今ai技术得到飞跃式增长,ai们理解人类自然语言变得更加强大,但是学习如何提问也还是极为重要的。掌握向ai提问的技巧和方法,能够获得准确,有用的回答,有效提高提问效率。
Daimon
2023/08/23
5030
切片
#切片 #切片指从现有列表中,获取一个子列表 #创建一个列表,一般创建列表时,变量的名字会使用复数 stus = ['孙悟空','猪八戒','沙和尚'] #列表的索引可以是负数,如果索引是负数,则从后向前获取元素 print(stus[-1]) #通过切片来获取指定的元素 #语法:列表[起始:结束],通过切片获取元素时,会包括起始位置的元素,不会包括结束位置的元素 #做切片操作时,总会返回一个新的列表,不会影响原来的列表 #切片的起始位置和结束位置的索引都可以省略不写 #如果省略结束位置,则会一直截取到最后,如果省略开始位置,则会从第一个元素开始截取 print(stus[1:]) print(stus[:2]) print(stus[0:2]) #语法:列表[起始:结束:步长] #步长表示每次获取元素的间隔,默认值是1 #步长不能是0,但是可以是负数 #步长如果是负数,则会从列表的后部向前面取元素 print(stus[0:2:1])
py3study
2020/01/20
8950

相似问题

WALA IR中的正向切片

10

WALA有没有办法对几个罐子进行切片?

14

安装WALA

16

如何使用typename对结构进行前向声明?

113

使用express js进行前向查询

13
添加站长 进交流群

领取专属 10元无门槛券

AI混元助手 在线答疑

扫码加入开发者社群
关注 腾讯云开发者公众号

洞察 腾讯核心技术

剖析业界实践案例

扫码关注腾讯云开发者公众号
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档
查看详情【社区公告】 技术创作特训营有奖征文