发布文献求助
已关闭
  • 文献求助详情
标题
KRover: A Symbolic Execution Engine for Dynamic Kernel Analysis
KRover：用于动态内核分析的符号执行引擎
相关领域
计算机科学 象征性执行 核（代数） 二进制翻译 符号数据分析 线程（计算） 程序设计语言 利用 虚拟内存 操作系统 并行计算 理论计算机科学 内存管理 软件 覆盖 数学 组合数学 计算机安全
网址
https://doi.org/10.1145/3576915.3623198
AI链接 acm.org edu.sg edu.sgdoi.org
DOI
10.1145/3576915.3623198 doi
其它 期刊：Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security
作者：Pansilu Pitigalaarachchi; Xuhua Ding; Haiqing Qiu; Haoxin Tu; Jiaqi Hong; et al
出版日期：2023-11-15
求助人
戴戴 在 2025-03-13 17:35:00 发布自江苏，悬赏 10 积分
下载
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
相关文献
  1. Segmented symbolic analysis
  2. The Auspicious Couple: Symbolic Execution and WCET Analysis
  3. Segmented symbolic analysis
  4. Dynamic binary translation specialized for embedded systems
  5. SPA: Symbolic Program Approximation for Scalable Path-sensitive Analysis
  6. Intraprocedural Analysis Based on Symbolic Execution for Bug Detection
  7. Symbolic Execution of Network Software Based on Unit Testing
  8. All-values symbolic execution
  9. All-values symbolic execution
  10. Removing Load/Store Helpers in Dynamic Binary Translation
　...点击展开更多...　
求助 / 应助时间线

  • 2小时前，求助关闭

    戴戴 戴戴 求助人 Lv11 关闭了本次求助。

    说明 找到了【积分已退回】

  • 2小时前

    科研通AI2.0 科研通AI2.0 机器人 未找到该文献，机器人已退出，请等待人工下载

    17:35:02 未找到该文献，机器人已退出，请等待人工下载
    17:35:00 科研通AI机器人（美国 洛杉矶）收到请求，开始寻找文献
    17:35:00 已向机器人发送请求

  • 2小时前

    戴戴 戴戴 求助人 Lv11 发起了本次求助

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
丰富源智完成签到，获得积分20
刚刚
赘婿的应助被托比昂首挺胸采纳，获得10
1秒前
科研通AI5的应助被bnjb采纳，获得10
1秒前
洁净绝山发布了新的文献求助10
2秒前
HaoHao04完成签到 ，获得积分10
2秒前
悬铃木完成签到，获得积分10
2秒前
2秒前
慕青的应助被邱小七采纳，获得10
2秒前
3秒前
wuji2077发布了新的文献求助10
3秒前
跨进行发布了新的文献求助10
3秒前
5秒前
李健的小迷弟的应助被小美妞采纳，获得10
5秒前
5秒前
7秒前
7秒前
斯文败类的应助被FelixChen采纳，获得100
8秒前
8秒前
yl完成签到，获得积分10
8秒前
阿QQ发布了新的文献求助10
9秒前
10秒前
10秒前
11秒前
11秒前
11秒前
漏晨发布了新的文献求助10
11秒前
坦率魔镜发布了新的文献求助10
11秒前
俗人发布了新的文献求助20
11秒前
爆米花的应助被外向电灯胆采纳，获得10
12秒前
情怀的应助被大炮弹采纳，获得10
12秒前
12秒前
咕噜咕噜发布了新的文献求助10
13秒前
研友_VZG7GZ的应助被Jager.Z采纳，获得30
14秒前
憧憬发布了新的文献求助10
14秒前
淡淡花香发布了新的文献求助10
15秒前
15秒前
烟花的应助被托比昂首挺胸采纳，获得10
15秒前
不吃香菜完成签到，获得积分10
17秒前
11发布了新的文献求助10
17秒前
bnjb发布了新的文献求助10
17秒前
高分求助中
Continuum Thermodynamics and Material Modelling 3000
Production Logging: Theoretical and Interpretive Elements 2700
Mechanistic Modeling of Gas-Liquid Two-Phase Flow in Pipes 2500
Structural Load Modelling and Combination for Performance and Safety Evaluation 1000
Conference Record, IAS Annual Meeting 1977 610
電気学会論文誌D（産業応用部門誌）, 141 巻, 11 号 510
Time Matters: On Theory and Method 500
热门求助领域 （近24小时）
化学 材料科学 生物 医学 工程类 有机化学 生物化学 物理 纳米技术 计算机科学 内科学 化学工程 复合材料 基因 遗传学 物理化学 催化作用 量子力学 光电子学 冶金
热门帖子
关注 科研通微信公众号，转发送积分 3560386
求助须知：如何正确求助？哪些是违规求助？ 3134484
关于积分的说明 9407578
捐赠科研通 2834649
什么是DOI，文献DOI怎么找？ 1558173
邀请新用户注册赠送积分活动 727933
科研通“疑难数据库（出版商）”最低求助积分说明 716633
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通