C-Helper: C Latent-error Static/Heuristic Checker for Novice Programmers

Kota Uchida, Katsuhiko Gondow

2016

Abstract

For better programming language education, it is crucial to make compiler warning messages more understandable for novice programmers. Unfortunately, however, Kojima’s research showed warning messages in commercial-level compilers like GCC are still difficult to understand, and the commercial-level compilers tend not to emit how to modify programs to correct the problems. Furthermore, we found that they also tend not to handle latent errors. To solve this problem, by using a heuristic approach, we propose a novel C static checker called C-Helper, that aims to emit more direct error messages understandable for novices to correct wrong programs, and also aims to handle latent errors. Our preliminary evaluation shows that C-Helper was positively evaluated, although our heuristic approach increased false-positives.

Paper Citation

in Harvard Style

Uchida K. and Gondow K. (2016). C-Helper: C Latent-error Static/Heuristic Checker for Novice Programmers . In Proceedings of the 8th International Conference on Computer Supported Education - Volume 1: CSEDU, ISBN 978-989-758-179-3, pages 321-329. DOI: 10.5220/0005797703210329

in Bibtex Style

@conference{csedu16,
author={Kota Uchida and Katsuhiko Gondow},
title={C-Helper: C Latent-error Static/Heuristic Checker for Novice Programmers},
booktitle={Proceedings of the 8th International Conference on Computer Supported Education - Volume 1: CSEDU,},
year={2016},
pages={321-329},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005797703210329},
isbn={978-989-758-179-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Conference on Computer Supported Education - Volume 1: CSEDU,
TI - C-Helper: C Latent-error Static/Heuristic Checker for Novice Programmers
SN - 978-989-758-179-3
AU - Uchida K.
AU - Gondow K.
PY - 2016
SP - 321
EP - 329
DO - 10.5220/0005797703210329