> More importantly; does Julia like red jelly beans more than blue jelly beans?
Would you like to discuss favourite sweets more than to clarify
further improvements in parsing technology also for application
together with the Coccinelle software? ;-)
Regards,
Markus
On 24/08/2017 16:23, SF Markus Elfring wrote:
More importantly; does Julia like red jelly beans more than blue jelly
beans?
* Do you find information relevant from answers to a question like
“Context-free grammars versus context-sensitive grammars?”?
> Parsing of foo fails due to the attribute __xxx(yyy) that Coccinelle is
> not able to cope with.
* Do you find information relevant from answers to a question like
“Context-free grammars versus context-sensitive grammars?”?
>> If it's yacc based you can recover where ever you like. Knowing how to
>> do it is something of a black art.
> Well, ocamlyacc, to be precise.
Can the software “Menhir” help any more for the needed data processing?
http://gallium.inria.fr/%7Efpottier/menhir/
Regards,
Markus
> I have tried to improve the parsing of C code recently.
This information is useful.
> 1. More aggressive inclusion of header files,
Why do you need to become “aggressive” there when the corresponding
data processing should be just correct?
> combined with caching of header files.
How do
> At least for the Linux kernel, you can't just run one make and get all the
> files to be compiled. Some files are indeed very hard to compile.
How do you think about to point any specific source code examples out
which you find a bit too challenging so far?
Regards,
Markus
> If you like the results from the second case, what more do you want?
I would like to achieve somehow that the number of presented “false positives”
will become so low so that similar (and extended) SmPL scripts can be used for
more automatic source code transformations with higher confidence.