I want to create a program that checks if the input is syntactically valid in C -


how create c program takes in command in c input, , prints if there errors?

for example,

    input: for(i=0; i<5; i++);     no errors.      input: for((i=0); i>2,(i<5) ; i++);     no errors.      input: for(i=0, i<5; i++);     error.      input: for((i=0; i<5; i++));     error.

i think shortest way compile input string, , check if errors occur. don't know how compile piece of code passed during runtime. also, there problem of undeclared variables.

c particuraly complicated parse. if remove pre-processor side of it, there still tricky parts.

if learning yourself, can c grammar (there in lex/yacc format ansi c) can at.

from example guess want able recognize subset of c, not entire language, correct? if case, should define subset , write parser it.

rather trying write parser hand, should learn grammars , parser generators if haven't worked them already.

if it's subset of c you're interested in, use peg parse generator packcc parser.

as super-simple example, following parser:

%prefix "mc"  stmt <- _ assign            { printf("assignment\n"); }         / _ if                 { printf("if\n"); }      / ( !eol . )* eol      { printf("error\n"); }  if <- 'if' _ '(' _ var _ ')' _ stmt   assign <- var _ '=' _ num _ ';' _ eol var    <- [a-za-z_] [0-9a-za-z_]* num    <- [0-9]+ _      <- [ \t]* eol    <- '\n' / '\r\n' / '\r'  %% int main() {     mc_context_t *ctx = mc_create(null);     while (mc_parse(ctx, null));     mc_destroy(ctx);     return 0; }

will accept assignment (where lvalue variable name , rvalue integer) , if statements condition variable name. assuming parser in file mu.peg

home> packcc mu.peg home> gcc -o mu mu.c home> ./mu t = 5; assignment t = 5 error if (x) p = 3; assignment if if (x) if (y) t = 3; assignment if  if

if, instead, need check sintatically valid c code @ runtime , there's compiler installed on system, tipically gcc or clang, can call via system() , intercept error. depending on type of checks want on code, can consider using static analyzer splint.

if need embed in application, can try tcc availble library.


-

Popular posts from this blog

debugging - Reference - What does this error mean in PHP? -

what this? this number of answers warnings, errors , notices might encounter while programming php , have no clue how fix. community wiki, invited participate in adding , maintaining list. why this? questions "headers sent" or "calling member of non-object" pop on stack overflow. root cause of questions same. answers questions typically repeat them , show op line change in his/her particular case. these answers not add value site because apply op's particular code. other users having same error can not read solution out of because localized. sad, because once understood root cause, fixing error trivial. hence, list tries explain solution in general way apply. what should here? if question has been marked duplicate of this, please find error message below , apply fix code. answers contain further links investigate in case shouldn't clear general answer alone. if want contribute, please add "favorite" error message, warning or notic...
Read more

c++ - Why doesn't unordered_set provide an array access operator -

i'm curious why stl container unordered_set , has constant time complexity random access on average, not provide method accessing elements distance first element in container. example: t& unordered_set::operator[](size_t index) { return *(begin() + index); } accessing element "by distance" implies there meaningful way measure distance. trouble std::unordered_set is is, well, unordered . hence, there no meaningful way of explaining "some distance beginning" in non-arbitrary way. if want access distance, copy data vector: std::vector tmp(unordered.begin(), unordered.end());
Read more