| Document Date: 2014-06-20 14:03:19
Open Document File Size: 393,01 KBShare Result on Facebook
Company FIASCO / CC / Hertz / / Currency USD / / / Event Reorganization / Product Issues / / IndustryTerm build systems / bug-finding tools / x86 hardware software / configuration tool / mips hardware software / automated software testing / bug-hunting tools / compile-time configurable system software / individual tools / online appendix / important system level utilities / system software / s390 hardware software / arm hardware software / wireless routers / system software developers / s390 hardware / hardware software / software project / / OperatingSystem UNIX / Linux / Android / / Organization German Research Council / USENIX Association / USENIX Annual Technical Conference USENIX Association / / Person Kbuild / Christian Dietrich / Wolfgang Schröder-Preikschat / Julio Sincero / / / Position CONFIG_MP / model extractor / configuration-aware static-analysis tool driver / unit test driver / CPP CPP Kconfig undertaker / http / Product L4/FIASCO / Linux / K BUILD build system / K BUILD / #ifdef statements / / ProgrammingLanguage C / K / / Technology fpga / UNIX / Linux / Android / html / operating systems / DSL / wireless routers / / URL http /
SocialTag |
Static Analysis of Variability in System Software: The 90,000 #ifdefs Issue∗ Reinhard Tartler, Christian Dietrich, Julio Sincero, Wolfgang Schröder-Preikschat, Daniel Lohmann {tartler, dietrich, sincero, wosch, lohman