[cfe-dev] Symbolic value assumption for some libc function

[Gavin Cui via cfe-dev]

>
> Thank you so much for the information. Automatically generating those yaml
> configuration files can help checker understand how the taint propagate
> after calling a function written in another file.
>
> To know if passing a tainted argument into a function will lead to any OOB
> error in callee, we may also need to record: for each argument, if it is
> tainted, whether a warning will be generated.  And the second scan can use
> this information in PreCall to check if it is safe to pass the argument
> into that function.
>
> This is my current thought about a possible approach, and I may ask more
> questions when trying to implement it because it is my first time work with
> LLVM,  I greatly appreciate your help.
>
> Sincerely,
> Gavin
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20190321/49e73919/attachment.html>