下载 >  开发技术 >  Java > Instrumentation of Java Bytecode for Runtime Analysis

Instrumentation of Java Bytecode for Runtime Analysis

2017-11-14 上传大小:129KB
This paper describes JSpy, a system for high-level instrumentation of Java bytecode and its use with JPaX, our system for runtime analysis of Java programs. JPaX monitors the execution of temporal logic formulas and performs predicative analysis of deadlocks and data races. JSpy’s input is an instrumentation specification, which consists of a collection of rules, where a rule is a predicate/action pair. The predicate is a conjunction of syntactic constraints on a Java statement, and the action is a description of logging informat
                            ion to be inserted in the bytecode corresponding to the statement. JSpy is built using JTrek an instrumentation package at a lower level of abstraction.                        
...展开收缩
综合评分:0
开通VIP 立即下载

评论共有0条

 
Hibernate jar 立即下载
积分/C币:3
掌握java的bytecode 立即下载
积分/C币:10
Jclasslib Bytecode viewer 3 0老朽痴拙汉化版 java字节码查看器 立即下载
积分/C币:5
Using Dyninst for Program Binary Analysis and Instrumentation 立即下载
积分/C币:3
JBE Java Bytecode Editor 0.1.1老朽痴拙汉化版(java字节码编辑器) 立即下载
积分/C币:3
JBE - Java 字节码编辑器 立即下载
积分/C币:5
Javassist version 3 立即下载
积分/C币:3
Windows Management Instrumentation(WMI):常见问题 立即下载
积分/C币:3
Analysis and Application of Analog Electronic Circuits to Biomedical Instrumentation - Northrop 立即下载
积分/C币:3
General Code Class Library 立即下载
积分/C币:3

VIP会员动态

0 1 2

热点文章

关闭
img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

Instrumentation of Java Bytecode for Runtime Analysis

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
为了良好体验,不建议使用迅雷下载
开通VIP
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

若举报审核通过,可返还被扣除的积分

  • 举报人:
  • 被举报人:
  • 举报的资源分:
  • *类型:
  • *详细原因: