CDE: Using system call interposition to automatically create portable software packages

Proceedings of the 2011 USENIX Annual Technical Conference, USENIX ATC 2011

Volumn , Issue , 2019, Pages 247-252

  Guo, Philip J ^a   Engler, Dawson ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LINUX;

CONFIGURING SOFTWARE; LINUX DISTRIBUTIONS; LINUX MACHINES; LINUX PROGRAM; MAILING LISTS; PORTABLE SOFTWARE; SCIENTIFIC EXPERIMENTS; SYSTEM CALL INTERPOSITION;

SOFTWARE PROTOTYPING;

EID: 85077058426     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. CDE project home page, http://www.pgbovine.net/cde.html.
2. Coq proof assistant: Bug 2443, http://coq.inria.fr/bugs/show_bug.cgi?id=2443.
3. GCC compiler: Bug 46651, http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46651.
4. LLVM compiler: Bug 8679, http://llvm.org/bugs/show_bug.cgi?id=8679.
5. arachni project home page, https://github.com/Zapotek/arachni.
6. graph- tool project home page, http://projects.skewed.de/graph- tool/.
7. VMware ThinApp User's Guide, http://www.vmware.com/pdf/thinapp46_manual.pdf.
8. AIKEN, A., BUGRARA, S., DILLIG, I., DILLIG, T., HACK-ETT, B., AND HAWKINS, P. An overview of the Saturn project. PASTE'07, ACM, pp. 43-48.
9. ALPERN, B., AUERBACH, J., BALA, V., FRAUENHOFER, T., MUMMERT, T., AND PIGOTT, M. PDS: a virtual execution environment for software deployment. VEE'05, ACM, pp. 175-185.
10. CADAR, C., DUNBAR, D., AND ENGLER, D. KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. OSDI'08, USENIX Association, pp. 209-224.
11. FISHER, K., AND GRUBER, R. PADS: a domain-specific language for processing ad hoc data. PLDI'05, ACM, pp. 295-304.
12. GUO, P. J., AND ENGLER, D. CDE: Using system call interposition to automatically create portable software packages. Stanford University Computer Science Technical Report 2011-01.
13. JAIN, K., AND SEKAR, R. User-level infrastructure for system call interposition: A platform for intrusion detection and confinement. NDSS'00.
14. LAADAN, O., VIENNOT, N., AND NIEH, J. Transparent, lightweight application execution replay on commodity multiprocessor operating systems. SIGMETRICS'10, pp. 155-166.
15. LAHIRI, M., AND CEBRIAN, M. The genetic algorithm as a general diffusion model for social networks. In Proc. of the 24th AAAI Conference on Artificial Intelligence (2010), AAAI Press.
16. SPILLANE, R. P., WRIGHT, C. P., SIVATHANU, G., AND ZADOK, E. Rapid file system development using ptrace. In Experimental Computer Science (2007), USENIX Association.
17. SUCAN, I. A., AND KAVRAKI, L. E. Kinodynamic motion planning by interior-exterior cell exploration. In Int'l Workshop on the Algorithmic Foundations of Robotics (2008), pp. 449-464.