Project

General

Profile

Actions
Copy link

Feature #10737

closed

Update Frama-C (CIL) to overcome some failures on ARM

Added by Evgeny Novikov almost 4 years ago. Updated almost 4 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Evgeny Novikov
Category:
Addons
Target version:
3.1
Start date:
03/02/2021
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

It turns out that the Linux kernel on ARM uses some constructions that ruins Frama-C (CIL). We need to update it to overcome the issue.

Actions
Copy link
 #1

Updated by Evgeny Novikov almost 4 years ago

  • Status changed from New to Resolved

Mikhail fixed the issue like it was in old good CIL. I updated Frama-C in branch update-cil-for-arm. Let's wait for CI since the change may be crucial somehow.

Actions
Copy link
 #2

Updated by Evgeny Novikov almost 4 years ago

  • Status changed from Resolved to Closed

Tests passed, so, I merged the branch to master in 026fd75fb.

Actions
Copy link

Also available in: Atom PDF