frama-c issueshttps://git.frama-c.com/pub/frama-c/-/issues2023-06-21T09:50:07Zhttps://git.frama-c.com/pub/frama-c/-/issues/2661frama-c-gui 27.0 segmentation fault in MacOS Ventura 13.42023-06-21T09:50:07ZDavid Sananframa-c-gui 27.0 segmentation fault in MacOS Ventura 13.4I have installed the latest Frama-C version (27.0) in MacOS Ventura 13.4 on M1 and M2 Macbooks. The installation process is smooth, including Ivette installation.
Once everything is installed when trying to run the GUI I get the followi...I have installed the latest Frama-C version (27.0) in MacOS Ventura 13.4 on M1 and M2 Macbooks. The installation process is smooth, including Ivette installation.
Once everything is installed when trying to run the GUI I get the following
```
[gui] Warning: creating config directory `.config/frama-c/gui'
(frama-c-gui:13363): Gtk-WARNING **: 12:57:42.276: Drawing a gadget with negative dimensions. Did you forget to allocate a size? (node tab owner GtkNotebook)
(frama-c-gui:13363): Gtk-WARNING **: 12:57:42.276: Drawing a gadget with negative dimensions. Did you forget to allocate a size? (node arrow owner GtkNotebook)
(frama-c-gui:13363): Gtk-WARNING **: 12:57:42.277: Drawing a gadget with negative dimensions. Did you forget to allocate a size? (node arrow owner GtkNotebook)
[1] 13363 segmentation fault frama-c-gui
```
I get this behaviour on both computers.
Is there any workaround for this? I tried copying the GUI config file from Linux without any success.
It works well in Linux, though. And the new interface is very neat thank you!
Thanks and best regards,
David.Andre MaronezeAndre Maronezehttps://git.frama-c.com/pub/frama-c/-/issues/290How to use the "Callers ..." context menu item2021-02-22T12:58:22Zmantis-gitlab-migrationHow to use the "Callers ..." context menu itemID0001431:
**This issue was created automatically from Mantis Issue 1431. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | ---...ID0001431:
**This issue was created automatically from Mantis Issue 1431. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0001431 | Frama-C | Graphical User Interface | public | 2013-05-27 | 2018-01-12 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | dhekir | **Assigned To** | maroneze | **Resolution** | open |
| **Priority** | normal | **Severity** | feature | **Reproducibility** | always |
| **Platform** | - | **OS** | - | **OS Version** | - |
| **Product Version** | Frama-C Fluorine-20130401 | **Target Version** | - | **Fixed in Version** | - |
### Description :
Pardon the ignorance, but I couldn't find this on the manual...
I have a program where, after parsing, some warnings of this form are emitted:
"Calling undeclared function __builtin_swap32. Old style K&R code?"
I know there is a missing source file somewhere in my project, but I'd like to know who is calling these functions (since they are never directly called in my code). So I right-click on the function prototype on the GUI, and the last button in the context menu is "Callers ...". If I click on it, the "Launching analysis" window is displayed, with no indication of which analysis to choose.
I suppose the analysis I'd like is "Syntactic callgraph". So I choose it, without customizing any options, click Execute, but nothing changes. The "Callers ..." button is always visible when right-clicking the function declaration.
I noticed that if I choose the "Users" analysis, when right-clicking afterwards there is no more "Callers ..." button on the context menu, but I fail to see how any of the new options (e.g. Dependencies) could help me identify the function callers.
Is there a simpler way, other than by manually parsing the DOT file (the produced graph is too large for me to visually inspect it), to obtain information about function callers?Andre MaronezeAndre Maroneze