--- layout: fc_discuss_archives title: Message 53 from Frama-C-discuss on March 2011 ---
Hello, > How frama-C handle the inline assembly code in a C program when compute the > input and output of a function? Will the reference in inline assembly code > be counted in? Of course, the problem with inline assembly in C programs is that it is not standardized; different compilers have different syntaxes. So the asm statement is treated as if it did nothing.