frama-c issueshttps://git.frama-c.com/pub/frama-c/-/issues2023-06-21T08:15:31Zhttps://git.frama-c.com/pub/frama-c/-/issues/2637libgnomecanvas disabled in brew2023-06-21T08:15:31ZLaura Titololibgnomecanvas disabled in brewTrying to install frama-c in a Mac machine, when executing
`brew libgnomecanvas`
an error occurs since the library is currently disabled.
The libgnomecanvas repository seems archived since November 29, 2022 (https://formulae.brew.sh/for...Trying to install frama-c in a Mac machine, when executing
`brew libgnomecanvas`
an error occurs since the library is currently disabled.
The libgnomecanvas repository seems archived since November 29, 2022 (https://formulae.brew.sh/formula/libgnomecanvas. https://gitlab.gnome.org/Archive/libgnomecanvas).https://git.frama-c.com/pub/frama-c/-/issues/2587Crash on Startup of frama-c-gui on WSL2022-01-18T09:06:14ZmoemodeCrash on Startup of frama-c-gui on WSL### Steps to reproduce the issue
Install frama-c on Windows 11 WSL according to install instructions. Then launch frama-c-gui
### Expected behaviour
frama-c-gui opens the gui
### Actual behaviour
![frama_err](/uploads/88a88cea9d4899...### Steps to reproduce the issue
Install frama-c on Windows 11 WSL according to install instructions. Then launch frama-c-gui
### Expected behaviour
frama-c-gui opens the gui
### Actual behaviour
![frama_err](/uploads/88a88cea9d4899909f2ee7ef74c73099/frama_err.png)
[frama_c_journal.ml](/uploads/a75256b6f842241a1e7ffb7ab0919b00/frama_c_journal.ml)
### Contextual information
- Frama-C installation mode: Opam as described on [Website](https://frama-c.com/html/get-frama-c.html)
- Frama-C version: 24.0 (Chromium)
- OS name: Windows
- OS version: 11Andre MaronezeAndre Maronezehttps://git.frama-c.com/pub/frama-c/-/issues/2586** (frama-c-gui:11256): CRITICAL **2021-12-14T13:30:19Zankit247** (frama-c-gui:11256): CRITICAL **<!--
Thank you for submitting an issue to the Frama-C team.
We propose the following template to ease the process.
Please directly edit it inline to provide the required information.
Before submitting the issue, please verify:
- the iss...<!--
Thank you for submitting an issue to the Frama-C team.
We propose the following template to ease the process.
Please directly edit it inline to provide the required information.
Before submitting the issue, please verify:
- the issue has not yet been reported on [Gitlab](https://git.frama-c.com/pub/frama-c/issues);
- you installed Frama-C as prescribed in the [instructions](INSTALL.md).
If the issue applies to a specific Frama-C plug-in, please prefix the title
by the plug-in name: [Eva], [WP], [E-ACSL]…
-->
### Steps to reproduce the issue
$ frama-c-gui foo.c Gdk-Message: 00:28:20.600: Unable to load arrow from the cursor theme ** (frama-c-gui:11388): CRITICAL **: 00:28:32.491: GSourceFunc: callback raised an exception
<!--
Please indicate here steps to follow to get a [minimal, complete, and verifiable example](https://stackoverflow.com/help/mcve) which reproduces the issue.
-->
### Expected behaviour
Getting error opening GUI for Frama-c
<!--
-->
### Actual behaviour
Should open the GUI
<!--
-->
### Contextual information
- Frama-C installation mode: **Opam**
- Frama-C version: **24.0**
- Plug-in used: **eva**
- OS name: Windows 11 (UBUNTU as WSLg)
- OS version: ubuntu 20.04 LTS
### Additional information (optional)
Usig command **frama-c -eva -main SumHadCoefficients foo.c**, not getting any error, also analysis result is getting dumped on terminal. But using gui gives error
![framac_gui_error_eva](/uploads/79eef02f4cce41c37a7ea764844fbe78/framac_gui_error_eva.png)
While running command frama-c-gui foo.c gives followin error
![framac_gui_error](/uploads/18d90850585b150c1ce9c3992a069e8c/framac_gui_error.png)
<!--
-->Andre MaronezeAndre Maronezehttps://git.frama-c.com/pub/frama-c/-/issues/64Unable to right-click on MacOS to drive GUI2021-02-22T12:52:17Zmantis-gitlab-migrationUnable to right-click on MacOS to drive GUIID0002506:
**This issue was created automatically from Mantis Issue 2506. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | ---...ID0002506:
**This issue was created automatically from Mantis Issue 2506. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0002506 | Frama-C | Graphical User Interface | public | 2020-06-03 | 2020-06-04 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | markrtuttle | **Assigned To** | correnson | **Resolution** | no change required |
| **Priority** | normal | **Severity** | major | **Reproducibility** | have not tried |
| **Platform** | MacOS | **OS** | MacOS | **OS Version** | 10.14 |
| **Product Version** | Frama-C 19-Potassium | **Target Version** | - | **Fixed in Version** | - |
### Description :
I'm unable to use the GUI on MacOS.
I have installed Frama-C on MacOS 10.14 with opam using the instructions in Section 2.2.2.2 of the tutorial https://allan-blanchard.fr/publis/frama-c-wp-tutorial-en.pdf. The only exception is that the instructions say "brew install gtk+ --with-jasper" and brew says --with-jasper is no longer supported.
I can start the gui with "frama-c-gui main.c" with the abs function from the tutorial, I can browse the abs function, but I'm unable to right click (control click) on anything in the function to start the verification. I'm following the instructions described in Section 2.2.3 of the tutorial.
Can you give me any guidance on how to proceed or how to debug?
Running frama-c from the command line works just fine.https://git.frama-c.com/pub/frama-c/-/issues/100Left pan (file tree and plugin views) inaccessible upon resize in frama-c-gui2022-09-28T11:26:03Zmantis-gitlab-migrationLeft pan (file tree and plugin views) inaccessible upon resize in frama-c-guiID0002486:
**This issue was created automatically from Mantis Issue 2486. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | ---...ID0002486:
**This issue was created automatically from Mantis Issue 2486. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0002486 | Frama-C | Graphical User Interface | public | 2019-11-16 | 2019-11-18 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | Nanoboss | **Assigned To** | correnson | **Resolution** | open |
| **Priority** | immediate | **Severity** | major | **Reproducibility** | always |
| **Platform** | Mac | **OS** | MacOS | **OS Version** | 10.15 (19A583) |
| **Product Version** | - | **Target Version** | - | **Fixed in Version** | - |
### Description :
I tried to remove the file tree and the plugin view using the slider (the little dots on the left) to have more space. But impossible to access it again as it's positioned really close from the border. Can't click and drag anymore.
Tested on 2 Macs, rebooting the laptop, restarting Frama-c-gui, a complete reinstallation of opam and brew didn't solve the issue. The windows keeps the same dimensions when we restart frama-c. Might come from gtk, but can't find where the windows properties are stored.
### Steps To Reproduce :
Click on the dots on the left pan, drag to the left until it disappears completely and try to drag it back. I suspect that the issue might be similar for the right pan
## Attachments
- ![Capture_d_____cran_2019-11-16____09.13.42](/uploads/18ce155f416a4ce1efb041889022bb08/Capture_d_____cran_2019-11-16____09.13.42.png)Loïc CorrensonLoïc Corrensonhttps://git.frama-c.com/pub/frama-c/-/issues/149Porting to Lablgtk3 (GTK3 OCaml bindings)2021-02-22T13:29:09Zmantis-gitlab-migrationPorting to Lablgtk3 (GTK3 OCaml bindings)ID0002429:
**This issue was created automatically from Mantis Issue 2429. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | ---...ID0002429:
**This issue was created automatically from Mantis Issue 2429. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0002429 | Frama-C | Graphical User Interface | public | 2019-02-25 | 2019-07-05 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | XVilka | **Assigned To** | virgile | **Resolution** | fixed |
| **Priority** | normal | **Severity** | major | **Reproducibility** | always |
| **Platform** | - | **OS** | - | **OS Version** | - |
| **Product Version** | - | **Target Version** | - | **Fixed in Version** | Frama-C 19-Potassium |
### Description :
Soon lablgtk2 will be removed from all Debian-based distributions because reliance on liblablgtksourceview2-ocaml-dev package. See https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=885677
Recently Coq developers and Lablgtk maintainer collaborated and ported the library to GTK+ 3.x, and beta version was released. Corresponding PR for Coq is waiting to be merged as well.
It makes sense to port Frama-C GUI to lablgtk3 as well.
See the same issue in Coq (CoqIDE) - https://github.com/coq/coq/issues/7055
And a pull request fixing it (porting CoqIDE to lablgtk3) https://github.com/coq/coq/pull/9279https://git.frama-c.com/pub/frama-c/-/issues/319Make it build on bytecode architectures2021-02-22T12:59:14Zmantis-gitlab-migrationMake it build on bytecode architecturesID0002325:
**This issue was created automatically from Mantis Issue 2325. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | ---...ID0002325:
**This issue was created automatically from Mantis Issue 2325. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0002325 | Frama-C | Graphical User Interface | public | 2017-08-11 | 2017-09-01 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | mehdi | **Assigned To** | maroneze | **Resolution** | fixed |
| **Priority** | normal | **Severity** | minor | **Reproducibility** | always |
| **Platform** | - | **OS** | - | **OS Version** | - |
| **Product Version** | Frama-C 15-Phosphorus | **Target Version** | - | **Fixed in Version** | Frama-C GIT, precise the release id |
### Description :
Hi,
Frama-C's GUI doesn't build on bytecode only architecture because the Makefile always depend on TARGET_GUI which may contain native objects.
Please find attached a simple patch that fixes this issue.
## Attachments
- [0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch](/uploads/1f211d8c6be79ada3a7ab5a60cd9838e/0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch)https://git.frama-c.com/pub/frama-c/-/issues/364Message about internal error Log.AbortFatal("kernel")2021-02-22T13:37:52Zmantis-gitlab-migrationMessage about internal error Log.AbortFatal("kernel")ID0002288:
**This issue was created automatically from Mantis Issue 2288. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | ---...ID0002288:
**This issue was created automatically from Mantis Issue 2288. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0002288 | Frama-C | Graphical User Interface | public | 2017-03-01 | 2017-03-06 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | Max P. | **Assigned To** | maroneze | **Resolution** | unable to reproduce |
| **Priority** | normal | **Severity** | minor | **Reproducibility** | sometimes |
| **Platform** | - | **OS** | - | **OS Version** | - |
| **Product Version** | Frama-C 14-Silicon | **Target Version** | - | **Fixed in Version** | - |
### Description :
Message sometimes appears with option -warn-unsigned-downcast.
Analysis is performed for a long time.
Value analysis log is huge. For example 107 MB.
A lot of identical messages, consecutive. For example:
"...
Called from D://folder//file.c:1002.
[value] Recording results for calc_crc16_tbl
[value] Done for function calc_crc16_tbl
[value] computing for function calc_crc16_tbl <- can_rx <-
loader <- main.
Called from D://folder//file.c:1002.
[value] Recording results for calc_crc16_tbl
[value] Done for function calc_crc16_tbl
[value] computing for function calc_crc16_tbl <- can_rx <-
loader <- main.
..."
### Additional Information :
See attached file.
### Steps To Reproduce :
Run value analysis with option -warn-unsigned-downcast.
## Attachments
- ![LogAbortFatal](/uploads/0b31984194d9b9ecb5177194367d1d81/LogAbortFatal.png)https://git.frama-c.com/pub/frama-c/-/issues/318Duplicates are created on the tab "Messages"2022-09-28T11:26:37Zmantis-gitlab-migrationDuplicates are created on the tab "Messages"ID0002276:
**This issue was created automatically from Mantis Issue 2276. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | ---...ID0002276:
**This issue was created automatically from Mantis Issue 2276. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0002276 | Frama-C | Graphical User Interface | public | 2017-02-03 | 2017-11-27 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | Max P. | **Assigned To** | maroneze | **Resolution** | reopened |
| **Priority** | normal | **Severity** | tweak | **Reproducibility** | always |
| **Platform** | - | **OS** | - | **OS Version** | - |
| **Product Version** | Frama-C 14-Silicon | **Target Version** | - | **Fixed in Version** | - |
### Description :
New messages append to old messages on the tab "Messages" if an analysis are rerun with new options.
### Steps To Reproduce :
1. Run Value analysis.
2. Change any option.
3. Run Value analysis.Andre MaronezeAndre Maronezehttps://git.frama-c.com/pub/frama-c/-/issues/379The disproportion between block sizes and caption sizes on a callgrath.2021-02-22T13:00:42Zmantis-gitlab-migrationThe disproportion between block sizes and caption sizes on a callgrath.ID0002273:
**This issue was created automatically from Mantis Issue 2273. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | ---...ID0002273:
**This issue was created automatically from Mantis Issue 2273. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0002273 | Frama-C | Graphical User Interface | public | 2017-01-17 | 2017-01-17 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | Max P. | **Assigned To** | signoles | **Resolution** | no change required |
| **Priority** | normal | **Severity** | tweak | **Reproducibility** | always |
| **Platform** | Cygwin | **OS** | Windows 7 | **OS Version** | x64 SP1 |
| **Product Version** | Frama-C 14-Silicon | **Target Version** | - | **Fixed in Version** | - |
### Description :
Callgraph looks as on attached screenshot.
### Additional Information :
After the first callgraph opening the warning is generated:
(frama-c-gui.exe:8512): Pango-WARNING **: couldn't load font "Times-Roman Not-Rotated 14", falling back to "Sans Not-Rotated 14", expect ugly output.
### Steps To Reproduce :
In GUI select command "Show callgraph".
## Attachments
- ![Global_view_2](/uploads/1b6b6f23c7eca80972a9107e1c51f3b8/Global_view_2.png)https://git.frama-c.com/pub/frama-c/-/issues/380Fatal error while browsing callgraph.2021-02-22T13:37:54Zmantis-gitlab-migrationFatal error while browsing callgraph.ID0002271:
**This issue was created automatically from Mantis Issue 2271. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | ---...ID0002271:
**This issue was created automatically from Mantis Issue 2271. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0002271 | Frama-C | Graphical User Interface | public | 2017-01-13 | 2017-01-16 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | Max P. | **Assigned To** | signoles | **Resolution** | won't fix |
| **Priority** | normal | **Severity** | crash | **Reproducibility** | random |
| **Platform** | Cygwin | **OS** | Windows 7 | **OS Version** | x64 SP1 |
| **Product Version** | Frama-C 14-Silicon | **Target Version** | - | **Fixed in Version** | - |
### Description :
After the first callgraph opening the warning is generated:
(frama-c-gui.exe:8512): Pango-WARNING **: couldn't load font "Times-Roman Not-Rotated 14", falling back to "Sans Not-Rotated 14", expect ugly output.
And really the callgraph looks unacceptable. It is impossible to see anything on it in "global view" mode.
In "tree view" mode items are croped in a certain scale. In addition to this when switching in "tree view" lots of the same warnings occurs:
(frama-c-gui.exe:8480): GLib-GObject-WARNING **: value "-1.#IND00" of type 'gdouble' is invalid or out of range for property 'size-points' of type 'gdouble'
Sometimes these warnings becomes too much and it ends with a fatal error (the screenshot is attached).
Last time it happened after the changing of "depth forward".
### Additional Information :
After closing of the error window Frama-C closed and in Сygwin terminal it was printed follows:
This application has requested the Runtime to terminate it in an unusual way.
Please contact the application's support team for more information.
### Steps To Reproduce :
In GUI select "Show callgraph". Change view mode on "tree view". Rotate the mouse wheel to zoom, change depth, etc.
## Attachments
- ![fatal_error](/uploads/5ea06cbd39552c7fbaf19ce9374faec7/fatal_error.png)https://git.frama-c.com/pub/frama-c/-/issues/312Command "Show callgraph" fails.2021-02-22T13:38:43Zmantis-gitlab-migrationCommand "Show callgraph" fails.ID0002270:
**This issue was created automatically from Mantis Issue 2270. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | ---...ID0002270:
**This issue was created automatically from Mantis Issue 2270. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0002270 | Frama-C | Graphical User Interface | public | 2017-01-12 | 2017-12-06 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | Max P. | **Assigned To** | maroneze | **Resolution** | fixed |
| **Priority** | normal | **Severity** | major | **Reproducibility** | always |
| **Platform** | Cygwin | **OS** | Windows 7 | **OS Version** | x64 SP1 |
| **Product Version** | Frama-C 14-Silicon | **Target Version** | Frama-C 15-Phosphorus | **Fixed in Version** | Frama-C 16-Sulfur |
### Description :
Callgraph is not displayed with "Show callgraph".
In cygwin terminal prints as follows:
"dot" ▒▒ ▒▒▒▒ ▒▒▒▒७▒▒▒ ▒▒▒ ▒▒▒譥▒
▒▒▒▒▒▒▒▒, ▒ᯮ▒▒塞▒▒ ▒ணࠬ▒▒▒ ▒▒▒ ▒▒▒▒▒▒ 䠩▒▒▒.
In callback for signal activate, uncaught exception: DGraphModel.DotError("Error during dot execution")
Raised at file "format.ml", line 185, characters 41-52
Called from file "format.ml", line 427, characters 6-24
### Additional Information :
Callgraph plug-in was run with default settings. File dgraph######.dot was created in cygwin64/tmp directory successfully.
### Steps To Reproduce :
In GUI select Analises -> Show callgraphhttps://git.frama-c.com/pub/frama-c/-/issues/623Frama-C GUI crashes under OS X2021-02-22T13:07:34ZJens GerlachFrama-C GUI crashes under OS XID0002099:
**This issue was created automatically from Mantis Issue 2099. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | ---...ID0002099:
**This issue was created automatically from Mantis Issue 2099. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0002099 | Frama-C | Graphical User Interface | public | 2015-03-31 | 2015-06-29 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | jens | **Assigned To** | correnson | **Resolution** | no change required |
| **Priority** | normal | **Severity** | crash | **Reproducibility** | always |
| **Platform** | - | **OS** | - | **OS Version** | - |
| **Product Version** | Frama-C Sodium | **Target Version** | - | **Fixed in Version** | - |
### Description :
If I start the Frama-C GUI on the attached program with 'frama-c-gui lemma.c',
then the GUI starts normally.
In the 'Source' panel I can see 'lemma.c.
When I try to see the lemma inside the file by clicking on the filename (or the little triangle left of it),
then the GUI crashes.
This does not happen under Linux.
### Additional Information :
frama-c was installed with opam
OS X (10.10.3 (14D127a))
opam --version: 1.2.0
frama-c -version
Version: Sodium-20150201
Compilation date: Tue Mar 31 09:48:58 CEST 2015
## Attachments
- [lemma.c](/uploads/f1e70f11f828611cc31af293e127a3c4/lemma.c)https://git.frama-c.com/pub/frama-c/-/issues/699Segmentation fault when launching frama-c-gui with OCaml 4.02.02021-02-22T13:09:21Zmantis-gitlab-migrationSegmentation fault when launching frama-c-gui with OCaml 4.02.0ID0001919:
**This issue was created automatically from Mantis Issue 1919. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | ---...ID0001919:
**This issue was created automatically from Mantis Issue 1919. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0001919 | Frama-C | Graphical User Interface | public | 2014-09-03 | 2015-03-17 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | dhekir | **Assigned To** | yakobowski | **Resolution** | fixed |
| **Priority** | normal | **Severity** | crash | **Reproducibility** | always |
| **Platform** | - | **OS** | - | **OS Version** | - |
| **Product Version** | Frama-C Neon-20140301 | **Target Version** | Frama-C Sodium | **Fixed in Version** | Frama-C Sodium |
### Description :
I'm using OPAM 1.1.1 with OCaml 4.02.0.
I installed Frama-C using OPAM, along with its dependencies, and then tried running frama-c-gui. It segfaults. Using gdb I get the following backtrace:
Program received signal SIGSEGV, Segmentation fault.
0x0000000000beb6e6 in GValue_val ()
(gdb) back
#0 0x0000000000beb6e6 in GValue_val ()
#1 0x0000000000bec4b4 in ml_g_signal_emit_by_name ()
#2 0x0000000000a91016 in camlGtkSignal__fun_1460 ()
#3 0x0000000000aaa16c in camlGtkData__set_bounds_1503 ()
#4 0x0000000000790d0e in camlWp__Gtk_form__spinner_1053 () at src/gui/gtk_form.ml:100
#5 0x00007fffedf7bda8 in camlWp__GuiPanel__wp_panel_2423 () at src/wp/GuiPanel.ml:259
#6 0x00000000007603c8 in camlSecurity_slicing__Design__fun_13880 () at src/gui/design.ml:810
#7 0x0000000000ba2fb1 in camlList__iter_1061 () at list.ml:73
#8 0x0000000000763592 in camlSecurity_slicing__Design__fun_13774 () at src/gui/design.ml:808
#9 0x0000000000764083 in camlSecurity_slicing__Design__fun_14157 () at src/gui/design.ml:1136
#10 0x0000000000bd940b in camlCamlinternalOO__iter_f_1269 () at camlinternalOO.ml:369
#11 0x0000000000bd947d in camlCamlinternalOO__run_initializers_opt_1277 () at camlinternalOO.ml:379
#12 0x000000000076167a in camlSecurity_slicing__Design__fun_14455 () at src/gui/design.ml:1264
#13 0x0000000000a3b8f9 in camlExtlib__try_finally_1226 () at src/lib/extlib.ml:277
#14 0x000000000079403e in camlSecurity_slicing__Gtk_helper__fun_5386 () at src/gui/gtk_helper.ml:735
#15 0x00000000007940a5 in camlSecurity_slicing__Gtk_helper__fun_5383 () at src/gui/gtk_helper.ml:727
#16 0x0000000000765ee4 in camlSecurity_slicing__Design__fun_14460 () at src/gui/design.ml:1283
#17 0x0000000000c22b76 in caml_start_program ()
#18 0x00000037040492a6 in g_main_context_dispatch () from /lib64/libglib-2.0.so.0
#19 0x0000003704049628 in g_main_context_iterate.isra.24 () from /lib64/libglib-2.0.so.0
#20 0x00000037040496dc in g_main_context_iteration () from /lib64/libglib-2.0.so.0
#21 0x0000000000be9eda in ml_g_main_iteration ()
#22 0x0000000000ab06a5 in camlGtkMain__default_main_1163 ()
#23 0x0000000000a28d71 in camlCmdline__catch_toplevel_run_1181 () at src/kernel/cmdline.ml:214
#24 0x00000000006bdd85 in camlBoot__entry () at src/kernel/boot.ml:66
#25 0x00000000006b3f49 in caml_program ()
#26 0x0000000000c22b76 in caml_start_program ()
#27 0x0000000000000000 in ?? ()
It could be related to lablgtk. All dependencies were downloaded using OPAM (including lablgtk 2.16.0) and installed without issues.
First I tried using directly the version from OPAM, but due to the segfault error I then tried downloading the sources and compiling them myself.
When running configure, everything is ok except for "OcamlGraph 1.8.5 > 1.8.4 found: should be compatible, but no warranty. Use it at your own risk!", but I used the patch available in https://bts.frama-c.com/view.php?id=1764, and then I could run make and make install without issues. But once again, when running frama-c-gui it segfaults.
To sum up, either using OPAM or downloading and compiling the sources myself, I get the same result (unsurprisingly).
However, when switching to OCaml 4.01.0 and running "opam install frama-c", the GUI works normally.
Has the Frama-C GUI been confirmed to work with OCaml 4.02.0 already? Should I try manually compiling its dependencies to try and identify the cause of the error?https://git.frama-c.com/pub/frama-c/-/issues/828typo in gui message2021-02-22T13:12:51ZJochen Burghardttypo in gui messageID0001792:
**This issue was created automatically from Mantis Issue 1792. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | ---...ID0001792:
**This issue was created automatically from Mantis Issue 1792. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0001792 | Frama-Clang | Graphical User Interface | public | 2014-06-02 | 2015-02-18 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | Jochen | **Assigned To** | virgile | **Resolution** | fixed |
| **Priority** | none | **Severity** | text | **Reproducibility** | always |
| **Platform** | - | **OS** | xubuntu-cfe13.10 | **OS Version** | - |
| **Product Version** | Frama-C Neon-20140301 | **Target Version** | - | **Fixed in Version** | - |
### Description :
"This si a from clause"
should be "... is ..."
### Steps To Reproduce :
run "frama-c-gui from01.cpp" on the attached program
## Attachments
- [from01.cpp](/uploads/b3ccdf1d92d578e813af78fbdf81676c/from01.cpp)https://git.frama-c.com/pub/frama-c/-/issues/714Bullet colors are unreadable for color blind people2021-02-22T13:24:44ZDavid MentréBullet colors are unreadable for color blind peopleID0001485:
**This issue was created automatically from Mantis Issue 1485. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | ---...ID0001485:
**This issue was created automatically from Mantis Issue 1485. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0001485 | Frama-C | Graphical User Interface | public | 2013-09-26 | 2015-03-17 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | dmentre | **Assigned To** | guillaume-petiot | **Resolution** | fixed |
| **Priority** | normal | **Severity** | feature | **Reproducibility** | always |
| **Platform** | - | **OS** | - | **OS Version** | - |
| **Product Version** | Frama-C Fluorine-20130601 | **Target Version** | - | **Fixed in Version** | Frama-C Sodium |
### Description :
For color blind people (e.g. "Daltoniens" in French), it is very difficult to make the difference between the red, green and orange bullets (at least, I have no testimony for others).
Possible improvements:
* Change the shape (e.g. circle for green bullet, triangle for orange bullet, ...);
* Use a shading scheme suitable for color blind people (https://trello.com is offering such a scheme for label colors), e.g. "/////" for one color, "\\\\\" for another color, etc.
* A combination of above two schemes.https://git.frama-c.com/pub/frama-c/-/issues/1836"src/project/project.ml", line 678 Assertion failed2021-02-22T13:43:43Zmantis-gitlab-migration"src/project/project.ml", line 678 Assertion failedID0001464:
**This issue was created automatically from Mantis Issue 1464. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | ---...ID0001464:
**This issue was created automatically from Mantis Issue 1464. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0001464 | Frama-C | Graphical User Interface | public | 2013-07-29 | 2013-08-01 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | barries | **Assigned To** | - | **Resolution** | fixed |
| **Priority** | normal | **Severity** | crash | **Reproducibility** | always |
| **Platform** | - | **OS** | - | **OS Version** | - |
| **Product Version** | Frama-C Boron-20100401 | **Target Version** | - | **Fixed in Version** | Frama-C Nitrogen-20111001 |
### Description :
Steps to reproduce:
1. Project -> default -> Duplicate project
2. Save As "test.frama" (any name will do; test.frama attached to issue)
3. Project -> Load project -> "test.frama"
4. Observe Error dialog:
The full backtrace is:
Called from file "src/kernel/journal.ml", line 323, characters 15-26
Re-raised at file "src/kernel/journal.ml", line 338, characters 14-15
Called from file "src/gui/project_manager.ml", line 131, characters 18-34
Called from file "src/lib/extlib.ml", line 176, characters 12-15
Re-raised at file "src/lib/extlib.ml", line 181, characters 10-11
Called from file "src/gui/gtk_helper.ml", line 533, characters 8-385
Unexpected error (File "src/project/project.ml", line 678, characters 24-30: Assertion failed).
Please report as 'crash' at http://bts.frama-c.com
### Additional Information :
I'm a new user and may well be skipping some key step.
## Attachments
- [test.frama](/uploads/5006aaf758fc35d237fb6b231cdd86fc/test.frama)https://git.frama-c.com/pub/frama-c/-/issues/1937wrong ELF class: ELFCLASS642021-02-22T13:46:43Zmantis-gitlab-migrationwrong ELF class: ELFCLASS64ID0001294:
**This issue was created automatically from Mantis Issue 1294. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | ---...ID0001294:
**This issue was created automatically from Mantis Issue 1294. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0001294 | Frama-C | Graphical User Interface | public | 2012-11-02 | 2012-12-06 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | ngong | **Assigned To** | monate | **Resolution** | no change required |
| **Priority** | normal | **Severity** | minor | **Reproducibility** | have not tried |
| **Platform** | - | **OS** | - | **OS Version** | - |
| **Product Version** | Frama-C Nitrogen-20111001 | **Target Version** | - | **Fixed in Version** | - |
### Description :
after installing package frama-c on Debian SID 64 bit, the command
frama-c-gui -slevel 10 -val p.c
led to the failure message
frama-c-gui: error while loading shared libraries: libgtksourceview-2.0.so.0: wrong ELF class: ELFCLASS64
and did not show anything else.
I expected to see what is mentioned on page http://frama-c.com/try_out.htmlhttps://git.frama-c.com/pub/frama-c/-/issues/2046Look for "frama-c-gui.config" in HOME __before__ USERPROFILE2021-02-22T13:49:40Zmantis-gitlab-migrationLook for "frama-c-gui.config" in HOME __before__ USERPROFILEID0001185:
**This issue was created automatically from Mantis Issue 1185. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | ---...ID0001185:
**This issue was created automatically from Mantis Issue 1185. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0001185 | Frama-C | Graphical User Interface | public | 2012-05-29 | 2012-05-31 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | Anne | **Assigned To** | monate | **Resolution** | unable to reproduce |
| **Priority** | normal | **Severity** | tweak | **Reproducibility** | have not tried |
| **Platform** | - | **OS** | - | **OS Version** | - |
| **Product Version** | Frama-C Nitrogen-20111001 | **Target Version** | - | **Fixed in Version** | - |
### Description :
May I suggest to first look for HOME __before__ USERPROFILE in src/gui/gtk_helper.ml
because under cygwin, I get the following warning :
cygwin warning:
MS-DOS style path detected: C:\Users\Anne/frama-c-gui.config
Preferred POSIX equivalent is: /cygdrive/c/Users/Anne/frama-c-gui.config
because :
$ echo $USERPROFILE
C:\Users\Anne
but I also have :
$ echo $HOME
/home/Annehttps://git.frama-c.com/pub/frama-c/-/issues/1918Project menu is empty when Ubuntu/Unity is enabled2021-02-22T13:46:07ZBenjamin MonateProject menu is empty when Ubuntu/Unity is enabledID0001182:
**This issue was created automatically from Mantis Issue 1182. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | ---...ID0001182:
**This issue was created automatically from Mantis Issue 1182. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0001182 | Frama-C | Graphical User Interface | public | 2012-05-25 | 2013-01-25 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | monate | **Assigned To** | monate | **Resolution** | fixed |
| **Priority** | normal | **Severity** | minor | **Reproducibility** | always |
| **Platform** | - | **OS** | - | **OS Version** | - |
| **Product Version** | Frama-C Nitrogen-20111001 | **Target Version** | - | **Fixed in Version** | Frama-C Oxygen-20120901 |
### Description :
When unity is enabled and the main menubar of Frama-C is shown detached from its main window, the dynamic menu entries are not visible.
This can be fixed by setting the environment variable UBUNTU_MENUPROXY to 0.
For example :
UBUNTU_MENUPROXY=0 frama-c-gui
fixes the problem.
No solution is known to fix this on the Frama-C side.