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.