Proceedings of the 26th International Conference on Compiler Construction最新文献_第2页

Optimized two-level parallelization for GPU accelerators using the polyhedral model 使用多面体模型优化GPU加速器的两级并行化

Proceedings of the 26th International Conference on Compiler Construction Pub Date : 2017-02-05 DOI: 10.1145/3033019.3033022

J. Shirako, Akihiro Hayashi, Vivek Sarkar

引用次数: 11

Partially redundant fence elimination for x86, ARM, and power processors 部分冗余栅栏消除x86, ARM，和电源处理器

Proceedings of the 26th International Conference on Compiler Construction Pub Date : 2017-02-05 DOI: 10.1145/3033019.3033021

Robin Morisset, Francesco Zappa Nardelli

引用次数: 11

rev.ng: a unified binary analysis framework to recover CFGs and function boundaries rev.ng:一个统一的二进制分析框架，用于恢复CFGs和功能边界

Proceedings of the 26th International Conference on Compiler Construction Pub Date : 2017-02-05 DOI: 10.1145/3033019.3033028

A. Federico, Mathias Payer, G. Agosta

{"title":"rev.ng: a unified binary analysis framework to recover CFGs and function boundaries","authors":"A. Federico, Mathias Payer, G. Agosta","doi":"10.1145/3033019.3033028","DOIUrl":"https://doi.org/10.1145/3033019.3033028","url":null,"abstract":"Static binary analysis is a key tool to assess the security of third-party binaries and legacy programs. Most forms of binary analysis rely on the availability of two key pieces of information: the program's control-flow graph and function boundaries. However, current tools struggle to provide accurate and precise results, in particular when dealing with hand-written assembly functions and non-trivial control-flow transfer instructions, such as tail calls. In addition, most of the existing solutions are ad-hoc, rely on hand-coded heuristics, and are tied to a specific architecture. In this paper we highlight the challenges faced by an architecture agnostic static binary analysis framework to provide accurate information about a program's CFG and function boundaries without employing debugging information or symbols. We propose a set of analyses to address predicate instructions, noreturn functions, tail calls, and context-dependent CFG. rev.ng, our binary analysis framework based on QEMU and LLVM, handles all the 17 architectures supported by QEMU and produces a compilable LLVM IR. We implement our described analyses on top of LLVM IR. In an extensive evaluation, we test our tool on binaries compiled for MIPS, ARM, and x86-64 using GCC and clang and compare them to the industry's state of the art tool, IDA Pro, and two well-known academic tools, BAP/ByteWeight and angr. In all cases, the quality of the CFG and function boundaries produced by rev.ng is comparable to or improves over the alternatives.","PeriodicalId":146080,"journal":{"name":"Proceedings of the 26th International Conference on Compiler Construction","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2017-02-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129843833","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 63

Proceedings of the 26th International Conference on Compiler Construction 第26届编译器构造国际会议论文集

Proceedings of the 26th International Conference on Compiler Construction Pub Date : 1900-01-01 DOI: 10.1145/3033019

引用次数: 0