Introduction to BUG Finder for C Language
Ms.Warsha M.Choudhari
, Mrs.Rinku S.Astankar , Ms.Mausami Sawarkar , Ms. Shalini Kharkate
Keyward: Cilantro framework ,SuperC
— Today need better tools for C, such as source browsers, bug finders, and automated refactorings. The problem is that large C systems such as Linux are software product lines, containing thousands of configuration variables controlling every aspect of the software from architecture features to file systems and drivers. The challenge of such configurability is how do software tools accurately analyze all configurations of the source without the exponential explosion of trying them all separately. C tools need to process two languages: C itself and the preprocessor. The latter improves expressivity through file includes, macros, and static conditionals. But it operates only on tokens, making it hard to even parse both languages. SuperC is a complete, performant solution to parsing all of C. First, a configuration-preserving preprocessor resolves includes and macros yet leaves static conditionals intact, thus preserving a program’s variability. detecting linker errors across all compilation units in the Linux kernel demonstrates each part of the Cilantro framework and is evaluated on the Linux source code.
"Introduction to BUG Finder for C Language", IJSDR - International Journal of Scientific Development and Research (www.IJSDR.org), ISSN:2455-2631, Vol.1, Issue 6, page no.25 - 27, June-2016, Available :https://ijsdr.org/papers/IJSDR1606005.pdf
Volume 1
Issue 6,
June-2016
Pages : 25 - 27
Paper Reg. ID: IJSDR_160480
Published Paper Id: IJSDR1606005
Downloads: 000347178
Research Area: Engineering
Country: Wardha, Maharashtra, India
ISSN: 2455-2631 | IMPACT FACTOR: 9.15 Calculated By Google Scholar | ESTD YEAR: 2016
An International Scholarly Open Access Journal, Peer-Reviewed, Refereed Journal Impact Factor 9.15 Calculate by Google Scholar and Semantic Scholar | AI-Powered Research Tool, Multidisciplinary, Monthly, Multilanguage Journal Indexing in All Major Database & Metadata, Citation Generator
Publisher: IJSDR(IJ Publication) Janvi Wave
