On Wed, 2022-06-01 at 14:50 -0400, David Malcolm wrote:
> On Wed, 2022-06-01 at 23:22 +0530, Mir Immad wrote:
> > HI everyone,
> >
> > I'm Immad Mir -- one of the GSoC students this year. I'll be working
> > on
> > adding static analysis support for POSIX file description APIs this
> > summer.
>
On 02/06/2022 00:20, David Malcolm wrote:
(2) find a list of system calls (e.g. those implemented on Linux), and
see which ones relate to file descriptors e.g. acquiring them, using
them, releasing them, and duplicating them. Look for patterns of usage
that could be expressed using function attr
On Wed, 2022-06-01 at 23:22 +0530, Mir Immad wrote:
> HI everyone,
>
> I'm Immad Mir -- one of the GSoC students this year. I'll be working on
> adding static analysis support for POSIX file description APIs this
> summer.
Welcome Immad - I'm looking forward to helping you on this project.
For r
HI everyone,
I'm Immad Mir -- one of the GSoC students this year. I'll be working on
adding static analysis support for POSIX file description APIs this summer.
The plan is to let the static analyzer know about the FD APIs through the
use of function attributes, although initially we might hardco
