Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
Frama-C Website
Commits
8e0f8ba2
Commit
8e0f8ba2
authored
Jun 14, 2021
by
Allan Blanchard
Browse files
Merge branch 'update-bug-report-guidelines' into 'master'
[doc] update bug report guidelines from userman See merge request
!117
parents
b0622082
78c230ab
Pipeline
#35807
passed with stage
in 1 minute and 19 seconds
Changes
2
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
html/bug_reporting_guidelines.md
View file @
8e0f8ba2
...
...
@@ -4,53 +4,26 @@ title: Bug reporting
---
# Report an issue with Frama-C
To report an issue, You must either create an account on the
[
GitLab of Frama-C
](
https://git.frama-c.com/
)
, or use your Github
account. The reporting is done through the
[
issue tracking system
](
https://git.frama-c.com/pub/frama-c/issues
)
.
If you are creating your account for your first bug report, consider
this trade-off carefully: we will never use your e-mail address to
contact you for something other than the bug you reported. But if you
provide an invalid e-mail address, your bug may linger for months
because the assignee is waiting for more feedback and you didn't
receive the notice.
The menu "Choose a template" provides a template "bug_report" that
you just have to fill in.
Some advices to post your issue:
-
Use English to report an issue. Using French is also acceptable to
report a
**private**
issue.
-
If the bug report is not for a crash, include the
**
EXPECTED
BEHAVIOR
**
that you would have liked to see.
-
Include the
**OBTAINED BEHAVIOR**
in enough detail that someone else
can decide if they have reproduced your bug.
-
Include
**HOW TO REPRODUCE**
the issue. Provide everything necessary
for someone else to reproduce the bug: input
files, command line used, sequence of actions. If your analysis
project depends on system headers, please use one of the two following
options to be sure that:
-
(Preferred) Use the option
`-print`
of Frama-C
```
$ frama-c ./your_files*.c -ocode result.c
```
-
Use the preprocessor (Note however that this second option will
drop ACSL annotations, using
`-CC`
keeps all comments):
```
$ gcc -C -E -I . original.c > result.i
```
The status of an issue may be one of the following:
-
new: the issue has not been yet considered by any Frama-C developer.
-
assigned: the issue has been assigned to a Frama-C developer. However the
assignee has not yet considered this issue.
-
confirmed: the issue has been confirmed by the assignee (or by any Frama-C
developer if there is no assignee). It is really a bug or a wished feature.
-
resolved: the issue has been fixed by the assignee. The Frama-C development
version contains the patch which will be part of a future release.
-
closed: the issue is no more relevant. Either it is not really a bug or a
wished feature, or it is fixed in a public release available from the
[
download page of Frama-C
](
/html/get-frama-c.html
)
.
If Frama-C crashes or behaves abnormally, you are invited to report an issue via the
[
Frama-C Gitlab repository
](
https://git.frama-c.com
)
.
The
[
New Issue page
](
https://git.frama-c.com/pub/frama-c/issues/new
)
allows creating a new report, but you will need an account.
Unless you have an account provided by Frama-C the team, you need to sign in
using a
[
Github
](
https://github.com
)
account.
When creating a new issue, choose the
`bug_report`
template next to
*Title*
, then enter the title and fill the template.
Bug reports can be marked as public or confidential. Public bug reports
can be read by anyone and may be indexed by search engines. Confidential
bug reports are only shown to developers.
Please fill the template as precisely as possible,
*in English*
[^1],
which helps the team more quickly understand, reproduce and respond to
the issue. The form uses Markdown syntax and you can attach source files
and screenshots to the issue.
[
^1
]:
French
is also a possible language choice for private entries.
Replies and updates concerning your issue are sent by e-mail by Gitlab.
html/documentation.html
View file @
8e0f8ba2
...
...
@@ -48,7 +48,7 @@ description: Quick access to the documentation of Frama-C and the plugins develo
<li><a
href=
"https://git.frama-c.com/pub/pub.frama-c.com/"
>
Website Git repository
</a></li>
<li><a
href=
"https://git.frama-c.com/pub/frama-c/blob/master/CONTRIBUTING.md"
>
Contributer guide
</a></li>
<li><a
href=
"https://git.frama-c.com/pub/frama-c/-/issues"
>
Known issues
</a></li>
<li><a
href=
"/html/bug_reporting_guidelines.html"
>
Bug r
eporting
guide
</a></li>
<li><a
href=
"/html/bug_reporting_guidelines.html"
>
R
eporting
bugs
</a></li>
</ul>
</div>
</div>
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment