Re: [chrony-dev] Analyzing Chrony with Frama-C/Eva

[ Thread Index | Date Index | More chrony.tuxfamily.org/chrony-dev Archives ]


On Tue, Jun 19, 2018 at 04:30:10PM +0200, Andre Maroneze wrote:
> Dear Chrony developers,
> 
> 
> As part of an effort sponsored by Orolia <https://www.orolia.com>,
> researchers from the List, CEA Tech laboratory applied Frama-C/Eva on the
> Chrony source code, in an attempt to verify the absence of run-time errors.

Thank you for the report.

I will fix the issues you have identified. The unconfirmed issue with
fb_drift_min and fb_drift_max doesn't seem to be a problem, as the
"fallbackdrift" feature is activated only when 0 < fb_drift_min <=
fb_drift_max. Negative values should be ignored.

If you find other issues, please let us know.

Thanks,

-- 
Miroslav Lichvar

-- 
To unsubscribe email chrony-dev-request@xxxxxxxxxxxxxxxxxxxx with "unsubscribe" in the subject.
For help email chrony-dev-request@xxxxxxxxxxxxxxxxxxxx with "help" in the subject.
Trouble?  Email listmaster@xxxxxxxxxxxxxxxxxxxx.


Mail converted by MHonArc 2.6.19+ http://listengine.tuxfamily.org/