2 Hits in 3.2 sec

Effective Analysis of C Programs by Rewriting Variability

Alexandru Florin Iosif-Lazar, Jean Melo, Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
2017 The Art, Science, and Engineering of Programming  
Our variability-related transformations are outcome-preserving, which means that the relation between the outcomes in the transformed single program and the union of outcomes of all variants derived from  ...  We report some interesting variability-related bugs that we discovered using various state-of-the-art single-program C verification tools, such as Frama-C, Clang, LLBMC.  ...  The tool, called C Reconfigurator, uses variability-aware parser SuperC [20] for parsing C code with preprocessor annotations, then applies our variability rewrites thus producing a single C program  ... 
doi:10.22152/ fatcat:7yxrij6czvfj7hsk2njvlnvbwy

Variability-aware Datalog [article]

Ramy Shahin, Marsha Chechik
2019 arXiv   pre-print
In this paper we present the design and development of a variability-aware version of the Soufflé Datalog engine.  ...  Variability-aware computing is the efficient application of programs to different sets of inputs that exhibit some variability.  ...  Gazzillo, P., Grimm, R.: SuperC: Parsing All of C by Taming the Preprocessor. In: Proc. of PLDI’12. pp. 323–334. ACM (2012) 7. Huth, M., Ryan, M.: Logic in Computer Science (2nd ed.).  ... 
arXiv:1912.03854v1 fatcat:vin2j2doivaotjjatmoc4vbs7e