We propose a simple and effective bug finder, XCheck, which is a proof of concept bug-finder based on the so-called "micro-grammar".The key advantage of XCheck is its extreme simplicity and surprising effectiveness. It only consists of a few hundred lines of code but is capable of checking many complicated software systems like Linux, LLVM, OpenJDK, which are written in various different languages (e.g., C, C++, Java).
翻译：我们建议使用简单有效的错误查找器XCheck, 以所谓的“ 微语法” 为基础, 来证明“ 错误” 的概念。 XCheck的主要优点是其极端简单和惊人的有效性。 它只有几百行代码,但能够检查许多复杂的软件系统,如Linux, LLLVM, OpenJDK, 这些系统是以不同语言(如C, C++, Java)撰写的。
相关内容
iOS 8 提供的应用间和应用跟系统的功能交互特性。
Source: iOS 8 Extensions: Apple’s Plan for a Powerful App Ecosystem
- Today (iOS and OS X): widgets for the Today view of Notification Center
- Share (iOS and OS X): post content to web services or share content with others
- Actions (iOS and OS X): app extensions to view or manipulate inside another app
- Photo Editing (iOS): edit a photo or video in Apple's Photos app with extensions from a third-party apps
- Finder Sync (OS X): remote file storage in the Finder with support for Finder content annotation
- Storage Provider (iOS): an interface between files inside an app and other apps on a user's device
- Custom Keyboard (iOS): system-wide alternative keyboards
Source: iOS 8 Extensions: Apple’s Plan for a Powerful App Ecosystem
Arxiv
4+阅读 · 2018年7月18日
Arxiv
4+阅读 · 2018年3月16日
相关主题
相关VIP内容
相关资讯
相关论文
Arxiv
4+阅读 · 2018年7月18日
Arxiv
4+阅读 · 2018年3月16日
微信扫码咨询专知VIP会员