Publication

System and method for in-vivo multi-path analysis of binary software

George Candea, Vitaly Chipounov, Volodymyr Kuznetsov
2012
Patents

Résumé

A system and method for in-vivo multi-path analysis and testing of binary software including binary device drivers is disclosed. The system and method may be used to test a binary software system and may comprise a virtual machine, a symbolic execution engine and a modular plugin architecture. In addition, a device driver testing system is also disclosed wherein symbolic execution may be used to explore the device driver's execution paths and check for device driver behavior.

Source officielle

https://infoscience.epfl.ch/entities/publication/a5d6f779-beed-4a22-8c5a-a3bf365eae1b

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

George Candea, Vitaly Chipounov, Volodymyr Kuznetsov
2012
Patents

Résumé

Source officielle

https://infoscience.epfl.ch/entities/publication/a5d6f779-beed-4a22-8c5a-a3bf365eae1b

À propos de ce résultat

Concepts associés (10)

Fichier spécial

Un fichier spécial (special file), ou fichier de périphérique (device file), est la manière dont certains systèmes d'exploitation permettent d'accéder à un périphérique — unité d'entrée-sortie (écran, imprimante, clavier, souris, modem...), unité de stockage (disque dur, clef USB, CD-ROM, DVD-ROM, disquette...). Pour l'utilisateur, le périphérique quel qu'il soit est vu de la même manière qu'un fichier ; par exemple, l'écriture sur un écran se fait de la même manière que l'écriture d'un fichier sur un disque dur.

Machine virtuelle

thumb|Machine virtuelle des assistants personnels Palm. En informatique, une machine virtuelle (anglais virtual machine, abr. VM) est d'un appareil informatique créée par un logiciel d'émulation ou instanciée sur un hyperviseur. Le logiciel d'émulation simule la présence de ressources matérielles et logicielles telles que la mémoire, le processeur, le disque dur, voire le système d'exploitation et les pilotes, permettant d'exécuter des programmes dans les mêmes conditions que celles de la machine simulée.

Binary blob

In the context of free and open-source software, proprietary software only available as a binary executable is referred to as a blob or binary blob. The term usually refers to a device driver module loaded into the kernel of an open-source operating system, and is sometimes also applied to code running outside the kernel, such as system firmware images, microcode updates, or userland programs. The term blob was first used in database management systems to describe a collection of binary data stored as a single entity.

Afficher plus

Publications associées (5)

Afficher plus

System and method for in-vivo multi-path analysis of binary software

Chattez avec Graph Search

Designing a Virtual Runtime for FPGA Accelerators in the Cloud

Performance Profiling of Virtual Machines

Reverse Engineering of Binary Device Drivers with RevNIC