svn commit: r335402 - head/sbin/veriexecctl

Conrad Meyer cem at freebsd.org
Thu Jun 21 18:14:06 UTC 2018


On Thu, Jun 21, 2018 at 9:51 AM, Stephen Kiernan <hackagadget at gmail.com> wrote:
> On Wed, Jun 20, 2018 at 10:36 PM, Eitan Adler <lists at eitanadler.com> wrote:
>>
>> On 19 June 2018 at 20:08, Eitan Adler <lists at eitanadler.com> wrote:
>> > On 19 June 2018 at 18:08, Stephen J. Kiernan <stevek at freebsd.org> wrote:
>> >> Added: head/sbin/veriexecctl/Makefile
>> >>
>> >> ==============================================================================
>> >> --- /dev/null   00:00:00 1970   (empty, because file is newly added)
>> >> +++ head/sbin/veriexecctl/Makefile      Wed Jun 20 01:08:54 2018
>> >> (r335402)
>> >> @@ -0,0 +1,11 @@
>> >> +# $FreeBSD$
>> >> +
>> >> +PROG=  veriexecctl
>> >> +MAN=   veriexecctl.8
>> >> +SRCS=  veriexecctl_parse.y veriexecctl_conf.l veriexecctl.c
>> >> +
>> >> +WARNS?=        3
>> >
>> > Why are we introducing new code with lower-than-6 warnings ?
>>
>> In all the commotion about the more important issues this fell
>> through.  Also its argument parsing appears to not be using
>> getopt[_long] ?
>
>
> I replied to this 2 days ago with:
> "veriexecctl came from NetBSD originally and that is what they had,
> but I believe it should be able to be bumped up."
>
> However, there has been some discussion about just not putting in
> veriexecctl for now and wait for some work that Simon Gerraty has been
> doing, using some of the work for the verified loader, instead. However, it
> would also mean that in the meantime, there would be nothing available
> to be able to people to try out veriexec to provide some feedback until
> that utility was completed and committed.

Hi,

While the code is out of HEAD, it can be posted to a github branch (or
a projects/ branch if you prefer SVN) for people to try.

Best regards,
Conrad


More information about the svn-src-all mailing list