On Mon, Apr 1, 2024 at 12:52 PM James Carter <jwcart2@xxxxxxxxx> wrote:
>
> On Sat, Mar 30, 2024 at 9:35 AM Christian Göttsche
> <cgoettsche@xxxxxxxxxxxxx> wrote:
> >
> > From: Christian Göttsche <cgzones@xxxxxxxxxxxxxx>
> >
> > Free the two identifiers on an invalid typebounds in the error branch,
> > similar to the success branch.
> >
> > Reported-by: oss-fuzz (issue 67700)
> > Signed-off-by: Christian Göttsche <cgzones@xxxxxxxxxxxxxx>
>
> For these two patches:
> Acked-by: James Carter <jwcart2@xxxxxxxxx>
>
These two patches have been merged.
Thanks,
Jim
> > ---
> > checkpolicy/policy_define.c | 6 +++++-
> > 1 file changed, 5 insertions(+), 1 deletion(-)
> >
> > diff --git a/checkpolicy/policy_define.c b/checkpolicy/policy_define.c
> > index 0cf938ea..92d1e5f2 100644
> > --- a/checkpolicy/policy_define.c
> > +++ b/checkpolicy/policy_define.c
> > @@ -1477,8 +1477,12 @@ int define_typebounds(void)
> > }
> >
> > while ((id = queue_remove(id_queue))) {
> > - if (define_typebounds_helper(bounds, id))
> > + if (define_typebounds_helper(bounds, id)) {
> > + free(bounds);
> > + free(id);
> > return -1;
> > + }
> > +
> > free(id);
> > }
> > free(bounds);
> > --
> > 2.43.0
> >
> >
