frama-c切片插件似乎会丢弃使用过的堆栈值
Frama-C切片插件是一种用于C语言程序的静态代码分析工具，它可以帮助开发人员理解程序的行为并进行调试。切片插件的主要功能是根据程序的输入和输出，识别出与这些输入和输出相关的代码片段，从而简化程序的分析和调试过程。
切片插件的优势在于它可以帮助开发人员快速定位和理解程序中与特定输入和输出相关的代码，从而提高调试效率。通过切片插件，开发人员可以快速定位到程序中与问题相关的代码片段，而不需要分析整个程序。这对于大型复杂的程序特别有用，可以节省大量的时间和精力。
切片插件的应用场景包括但不限于以下几个方面：
- 调试：切片插件可以帮助开发人员快速定位程序中的问题代码，从而加速调试过程。
- 代码理解：通过切片插件，开发人员可以更好地理解程序的行为，找出与特定输入和输出相关的代码片段，从而提高代码的可读性和可维护性。
- 测试用例生成：切片插件可以帮助开发人员生成针对特定输入和输出的测试用例，从而提高测试覆盖率和测试效果。
腾讯云提供了一系列与云计算相关的产品，其中与静态代码分析和调试相关的产品包括云托管服务、云原生应用平台等。这些产品可以帮助开发人员在云端进行代码分析和调试，提供高效、稳定的开发环境。
关于Frama-C切片插件的详细介绍和使用方法，您可以参考腾讯云的官方文档：Frama-C切片插件介绍。
相关·内容
我从Frama-c得到一个向后切片，但看起来它是一个静态切片，而不是动态切片。
在frama-c中有一个特定的选项来获得一个动态的向后切片吗？
浏览 2提问于2014-10-25得票数 1
我想对以下程序进行切片：
int main() {
int j;
if (j) {
ERROR:
/*@ slice pragma ctrl; */
goto ERROR;
}
return 0;
}
目前，Frama-C在读取j之后停止探索路径，导致ERROR标签被切掉：
$ frama-c test.c -slice-pragma main -then-on 'Slicing export' -print
[...]
test.c:3:[kernel] warning: accessing uninitialized left-value:
浏览 0提问于2014-05-07得票数 1
我正在使用Frama-C来计算一个C程序的片段。我希望切片程序看起来像没有代码转换的原始程序。然而，在结果切片中，我总是有goto语句和标签。我使用以下命令：
frama-c -no-simplify-cfg -main test -slice-assert test test.c -then-on 'Slicing export' -print -ocode result.c
我在Cygwin下的Windows机器上从最新的Oxygen发行版编译了Frama-C。
浏览 0提问于2012-10-31得票数 2
回答已采纳
2回答
我想知道是否有可能用Frama-C做一些正向条件切片，我正在使用一些例子来理解如何实现这一点。
我有一个简单的例子，它似乎导致了一个不精确的切片，我不明白为什么。下面是我想要切分的函数：
int f(int a){
int x;
if(a == 0)
x = 0;
else if(a != 0)
x = 1;
return x;
}
如果我使用这个规范：
/*@ requires a == 0;
@ ensures \old(a) == a;
@ ensures \result == 0;
*/
然后Frama-C使用"f - slice -return“标准和
浏览 2提问于2013-07-10得票数 4
回答已采纳
1回答
使用Frama，我尝试将一个源代码切片如下：
#include <stdio.h>
#include <stdlib.h>
#include <time.h>
typedef struct
{
int event;
int status;
int* msg;
}pbBLEEvt_t;
int msgq_receive(pbBLEEvt_t *buff);
void PB_Main_event_send(int, int, void*);
static int PB_ble_ps_state = 0;
static void PB_Packet
浏览 2提问于2019-10-24得票数 4
2回答
最近，我一直在使用frama-c，我遇到了一个有点令人困惑的问题。
我用frama-c编写了一个非常简单的程序，即：
void main(void)
{
int a = 3;
int b = 4;
/*@ assert a == b;*/
}
我希望GUI中的断言是无效的--在frama-c中，这是用红色子弹表示的，但是frama-c说，根据值(假设下)，这个断言是无效的，这是用橘红色子弹表示的。
我的问题是，为什么frama-c会说这个断言在假设下是无效的？
可能的假设是什么？
我之所以问这个问题，是因为我的程序非常简单，在我的程序中找不到任何与断言相关的假设或依赖，
浏览 0提问于2018-06-18得票数 2
回答已采纳
1回答
问题描述
我正在开发一个frama-c插件，它使用切片插件作为库来删除自动生成的代码中未使用的部分。不幸的是，切片插件丢失了一堆实际使用的堆栈值。只要它们的地址包含在传递给抽象外部函数的结构中，就可以使用它们。
简单的例子
这是一个更简单的例子，它模拟了我所拥有的相同的一般结构。
/* Abstract external function */
void some_function(int* ints[]);
int main() {
int i;
int *p = &i;
int *a[] = { &p };
some_function(a);
retu
浏览 22提问于2020-05-04得票数 2
回答已采纳
我已经在我的Jenkins中安装了废弃的旧构建插件版本1.05。我只想保留10个版本，并丢弃旧版本(无论是成功还是其他状态)。
下面是我的Jenkins丢弃插件设置。
在这里，我选择了“状态要丢弃”中的所有选项。所以问题是它删除了所有的构建，只保留了最后的3个构建。(我不知道为什么)。如果我取消选中" success “选项，它将删除其余的生成并保留所有成功构建，即使它超过10个生成。
在中，选项是“保持的状态”，而不是“丢弃的状态”。
如何保留最后10个构建并删除其余构建(保留最后10个成功构建)？
浏览 5提问于2016-10-13得票数 0
我使用Frama-C工具来生成这个程序(main.c)的依赖图。
#include<stdio.h>
int main()
{
int n,i,m,j;
while(scanf("%d",&n)!=EOF)
{
m=n;
for(i=n-1;i>=1;i--)
{
m=m*i;
while(m%10==0)
浏览 2提问于2012-03-25得票数 5
回答已采纳
我使用以下命令在Ubuntu 14.04上安装了Frama-c：
sudo apt-get install frama-c
但是，当我使用以下命令打开frama-c的GUI时：
frama-c-gui
我找不到左侧窗口的“影响分析”插件。
此图显示了当前可用的Frama-c插件：
我也参考了，但找不到任何链接供我下载或安装影响分析插件。
如何启用和使用Ubuntu14.04的影响分析？
浏览 8提问于2017-09-26得票数 3
回答已采纳
该影响分析插件具有一种方法切片，根据所述影响分析对给定的语句进行切片。它像切片插件，我们在这里创建项目，然后我们选择切片区域，并在将该区域添加到请求？如何打印此影响分析切片的结果？
浏览 2提问于2015-05-11得票数 1
回答已采纳
是否可以使用Frama跟踪变量并分割它所接触的所有代码？例如，考虑以下程序：
#include <stdio.h>
#define SIZE 512
int storage[SIZE];
void insert(int index, int val) {
storage[index] = val;
}
int main(int argc, char *argv[]) {
int x = 10;
int y = 20;
int z = 30;
z = 0; /* some change to unrelated var */
浏览 4提问于2021-10-05得票数 0
回答已采纳
1回答
我想对未使用的变量进行切片，这些变量用frama-c表示。但是我不知道我应该写哪个命令行来用一个命令行对所有未使用的变量进行切片
Last login: Thu Nov 9 20:48:42 on ttys000
Recep-MacBook-Pro:~ recepinanir$ cd desktop
Recep-MacBook-Pro:desktop recepinanir$ cat hw.c
#include <stdio.h>
int main()
{
int x= 10;
int y= 24;
int z;
printf("Hello
浏览 10提问于2017-11-10得票数 1
Frama-C错误插件()在这段代码中报告了一个错误，但是Eva没有报告任何问题。我已经尝试增加Frama-C的冗长，但我仍然看不出问题出在哪里。我在MacOS10.13.6上运行通过opam安装的Frama-C18.0 (Argon)。
#include <stdio.h>
#include <stdbool.h>
#include <stdlib.h>
#define MY_ASSERT(must_be_true__) \
(void)((must_be_true__) ? (void)0 : my_assert_crash())
void my_a
浏览 20提问于2019-04-21得票数 1
回答已采纳
我正在验证Frama+ WP的一个简单程序。
#include <string.h>
/*@
requires valid_read_string(s);
assigns \result \from indirect:s[0..];
ensures \result == strlen(s);
*/
size_t get_len(const char *s) {
return strlen(s);
}
int main() {
static const char foo[4] = { 'H&#
浏览 4提问于2021-03-28得票数 3
回答已采纳
当我使用frama-c分析时，我的c程序。似乎在frama-c的impact插件中存在一个bug。这是我的程序。
#include<stdio.h>
int global;
int main()
{
global = 12;
int result = 0;
if(global > 1)
{
result += 100;
}
else
{
result += 200;
}
return 0;
}
我想找出所有受变量"global“影响的状态。显然，"if c
浏览 5提问于2012-11-29得票数 2
回答已采纳
Frama-C是否提供了任何工具来证明函数的运行时特征，例如执行时间(可能是指令计数)和堆内存空间(计数为分配的字节)？
浏览 7提问于2018-06-10得票数 0
1回答
作为示例，我使用以下函数：
float nondet_float(){
float x;
return x;
}
int main(){
float x = nondet_float();
if(isnan(x)){
some_error();
}
}
我想知道如何使用frama-c来模拟非确定性浮点数。
我想要的是，变量x，被认为是任何可能的浮点值，包括-inf，+inf和NaN。
我希望得到这样的结果:如果x为NaN，则some_error()是可达的。
所以我的问题是：
如何模拟不确定的浮点数？如何测试某些函数调用的可达性？
浏览 1提问于2017-09-17得票数 1
let a = [23, 44, 45];
let a1 = a[..2];
在这里，a存储在堆栈中，如果知道a的长度，为什么片a1的长度不能被知道呢？这仅仅是一个切片数据类型是如何实现的例子(也许是语言设计问题)，如果是这样，为什么？
此外，在分割字符串时，切片使用指向字符串的引用，该引用依次存储指向存储实际数据的堆位置的指针。在创建切片时，Rust是否会自动对堆中的数据进行操作，而不是对存储在堆栈上的字符串数据(指针、容量、长度)进行操作(获取其中的一部分似乎是胡说八道……)？
浏览 7提问于2022-01-06得票数 -2
回答已采纳
关于先决条件和Frama-c wp，我有两个问题：
？Frama-c如何证明先决条件？-c什么时候尝试证明先决条件?
我之所以问这些问题，是因为有时候frama-c wp甚至没有尝试证明，有时它成功地证明了前提条件，有时它失败了，例如在第一个屏幕截图中，证明没有被尝试过。
但在第二张截图中，我们试图证明，但失败了。
我假设主要功能对此有影响，但这是全貌吗？前提条件是否只有在函数主要时才是证明的对象？
浏览 3提问于2021-03-30得票数 3
回答已采纳
我有一个tiff堆栈(b/w)，当我在imageJ中打开堆栈中的单个图像时，对比度是完美的，但是，当我打开整个堆栈(运动物体的图像序列)时，对比度对于末尾幻灯片来说很糟糕(当然，荧光已经褪色)。在Matlab或imageJ中，有没有一种方法可以确保对比度不是由整个堆栈决定的，而是由堆栈中的单个图像决定的(这样亮度的变化就不再存在)。
让我知道怎样才能解释得更好。这是一个非常简单的问题，但我不知道不看就能理解它有多容易。
谢谢
浏览 6提问于2013-09-12得票数 0
我读到，使用frama-c，我们可以生成一个PDG 我的问题是:它有一种方法来生成一个SDG (它是一组PDG，它的目标是建模过程间的依赖关系)。任何人都可以帮助我，也可以给我一些提示，说明哪些工具可以生成SDG。谢谢
浏览 2提问于2015-04-09得票数 2
回答已采纳
我把frama-c看作是一种在OCaml中处理C头文件的方法(例如，用于生成语言绑定)。它很有吸引力，因为它看起来像是一个文档和维护都很好的项目。然而，经过大量的谷歌搜索和文档搜索，我找不到任何适合这个目的的东西。我只是错过了做这件事的正确方法，还是它超出了frama-c的范围？与其他一些插件相比，这似乎是一件相当微不足道的事情。
浏览 0提问于2013-02-06得票数 6
回答已采纳
3回答
我正在查看ImageJ中的一组图像(一堆.tif图像，约130个帧)，我对数据集有一个问题。这是一系列的显微镜图像，每一帧都是一个平面，大约在上面/下3-4微米。当我深入到数据集中时，光散射会使背景变得更亮，所以样本的主要特征更加模糊。
然而，ImageJ的亮度和对比度特性使用了代表整个图像堆栈的直方图。当我在堆栈的深处点击“自动”和“重置”图像时，产生的对比是完美的:所有的功能都会很好地发光。然而，在堆栈开始时，大多数特性已经饱和。
我试着从堆栈中的各个点手工提取几幅图像，并分别对每个点执行“自动>重置”亮度和对比度，然后再将它们转换为堆栈，并且看起来非常可靠。如何以编程方式(例如，使
浏览 4提问于2010-12-17得票数 6
回答已采纳
考虑下面的C代码：
#include <assert.h>
//@ requires p < q;
void f(char *p, char *q)
{
assert(p <= q-1);
}
//@ requires a < b;
void g(int a, int b)
{
assert(a <= b-1);
}
使用alt-ergo，frama-c成功地证明了g()中的断言成立，但未能证明与f()相同。为什么？
浏览 29提问于2018-08-14得票数 1
回答已采纳
我刚刚开始开发一个frama-c插件，它可以做一些别名分析。我正在使用Dataflow.Backwards分析，现在我必须遍历不同的赋值语句，并收集一些关于左值的信息。
frama-c是否为我提供了3个地址的代码？我对左值的形状(或任何内存访问)有什么保证吗？我的意思是，在soot或wala中，对于a->b->c，最多有一个字段访问，s.t.，会有一个temp变量，如tmp=a->b；tmp->c;？我检查了手册，但我找不到任何与此相关的东西。
浏览 0提问于2013-03-22得票数 3
回答已采纳
我相信我错过了一些显而易见的东西，但我已经尝试了很多，但我还没有找到问题的根源。
我正在跟踪来自Frama的acsl 。下面是关于如何验证在数组中查找最大值的正确性的介绍性示例：
/*@ requires n > 0;
requires \valid(p+ (0 .. n-1));
ensures \forall int i; 0 <= i <= n-1 ==> \result >= p[i];
ensures \exists int e; 0 <= e <= n-1 && \result == p[e];
*/
浏览 3提问于2020-05-07得票数 0
回答已采纳
1回答
我有一个包含几个ACSL断言(file.c)的文件：
#include <stdio.h>
#include <stdlib.h>
void foo() {
int a=0;
//@ assert(a==0);
}
void print(const char* text) {
int a=0;
//@ assert(a==0);
printf("%s\n",text);
}
int main (int argc, const char* argv[]) {
const char* a1 = a
浏览 10提问于2016-07-25得票数 2
回答已采纳
我正在尝试使用frama-c值分析器来评估C代码，它实际上是线程化的。我想忽略任何可能发生的线程问题，只检查单个线程的可能值。到目前为止，这是通过将入口点设置为线程开始的位置来实现的。
现在来看我的问题:在一个线程中，我读取由另一个线程写入的值，因为frama-c不会(也不应该？)考虑线程(目前)，它假设我的变量在某个较大的范围内，但我知道这个范围实际上要小得多。有没有可能告诉价值分析器这个变量的取值范围？
示例：
volatile int x = 0;
void f() {
while(x==0)
sleep(100);
...
}
在这里，frama-c检
浏览 0提问于2012-06-13得票数 2
回答已采纳
1回答
我试图在printf调用中分割以下程序：
#include <stdlib.h>
#include <stdio.h>
int main(int argc, char **argv) {
if (argc < 3) return 1;
int x = atoi(argv[1]);
int y = atoi(argv[2]);
printf("%d %d\n", x, y);
return 0;
}
但是，Value Analysis插件提供了以下信息：
函数调用表达式参数(char const )(argv + 2)
浏览 3提问于2014-05-21得票数 2
回答已采纳
是否有一个模块可以创建一个jquery样的栏，在页面顶部显示系统消息。(就像这个站点上的大红条(堆栈交换)一样)？
浏览 0提问于2011-04-19得票数 4
回答已采纳
文档中写道：
(void)reset
使接收器返回到其基本状态。
讨论
接收方的所有托管对象都被“遗忘”了。如果使用此方法，则应确保还丢弃对使用接收器获取的任何托管对象的引用，因为它们将是无效的afterwards.
(void)rollback
从撤消堆栈中移除所有内容，丢弃所有插入和删除操作，并将更新的对象还原为其上次提交的值。
讨论
此方法不从持久性存储区或stores.中重新获取数据
似乎在我对上下文做了一些更改之后，调用这两个方法将做完全相同的事情:丢弃更改并将更新的对象恢复到它们上次提交的值。那么-reset到底是做什么的呢？
浏览 31提问于2011-11-30得票数 22
回答已采纳
正如我们所知，goroutine的堆栈可以通过复制go1.4中的堆栈来增加。我的问题是，在go中有必要避免堆栈中太大的局部变量吗？例如
func foo(){
var buf [8096]int
//do something with buf
}
或
var buf [8096]int
func foo(){
//do something with buf
}
我的意思是，有必要使用后一个例子来避免因为堆栈复制而产生的大变量吗？
浏览 0提问于2014-12-26得票数 0
2回答
高浪区片层内移除
、、、
下面的测试是在没有删除元素的情况下打印原始输入片(过滤后)，但是在末尾有一个额外的元素，使输入片长度相同，即使过滤后它应该更短。
我已经看过这个文档，但是我想我错过了一些关于Go的问题，因为我似乎使用了错误的方法。
我如何避免有一个“输出片”？(以正确的方式打印，包含正确的元素，具有预期的长度和容量)
为什么我试图“移除内部”会导致“输入片”具有与过滤过程前相同的长度？
为什么“输入片”的长度与我应用过滤过程前相同？如何使删除操作更改“输入片”的长度？
这是代码：
package foo
import (
"fmt"
"log
浏览 0提问于2019-05-31得票数 1
回答已采纳
我随机地得到AccessViolationException:尝试读写受保护的内存(在实时环境中，它每两周一次，windows服务非常活跃，工作非常努力，它每天都会调整大小)。这通常表示其他内存已损坏。
堆栈跟踪是:堆栈：
at WebSupergoo.ABCpdf7.Internal.NDoc._Clear(IntPtr inDoc)
at WebSupergoo.ABCpdf7.Internal.NDoc.Clear(IntPtr inDoc)
at WebSupergoo.ABCpdf7.Doc.Clear()
at WebSupergoo.ImageGlue7.Canvas.Dispo
浏览 0提问于2011-08-23得票数 1
2回答
我一直在尝试将脑磁共振图像数据集(IXI数据集)提供给ConvNet，然而，其中一些图像有140个通道，另有150个通道。我如何使所有的图像有相同数量的频道，这样我就不会遇到麻烦的固定CNN输入形状？我正在使用nibabel来读取.nii文件。
编辑:我对MRI图像知之甚少，应该丢弃哪些频道？
浏览 4提问于2021-05-29得票数 3
回答已采纳
切片是对基础数组的引用。这是有意义的，似乎适用于内置/原语类型，但为什么不使用结构呢？我假设，即使我更新了struct字段，引用/地址仍然是相同的。
package main
import "fmt"
type My struct {
Name string
}
func main() {
x := []int{1}
update2(x)
fmt.Println(x[0])
update(x)
fmt.Println(x[0])
my := My{Name: ""}
update3([]My{
浏览 4提问于2015-05-24得票数 1
回答已采纳
1回答
臂组件-监视器堆栈指针
、、、
我正在尝试在嵌入式ARM MCU上监控C中的堆栈指针。随着项目的发展，我想知道还剩下多少空间，并在必要时映射更多空间。
我已经从编译时生成的映射文件中知道了堆栈的起始地址和起始地址。
我想要得到sp指向的地址，这样我就可以做一些基本的数学运算，并在使用百分比的基础上监控堆栈，但我是ARM新手，不明白为什么我的程序集不能工作。
这就是我正在做的事情：
int stackptr;
asm
{
LDR r0, =stackptr // put address of C variable stackptr in r0
MOV r1, sp
浏览 1提问于2014-10-03得票数 4
假设我有一个VM的以下字节码：
<code>A0</code>
此操作的结果是<code>D1</code>。我确实理解什么是<code>D2</code>，<code>D3</code>和<code>D4</code>操作，<code>D5</code>将常量推送到堆栈，调用跳转到另一个分支，<code>D6</code>删除堆栈顶部的内容。但是pop操作的值去了哪里(在本例中)？这对我来说是个谜。
浏览 22提问于2018-12-14得票数 0
2回答
在ACSL中定义的归纳谓词上可以使用归纳吗？
请考虑中的以下示例
struct List {
int value;
struct List* next;
};
/*@ inductive reachable{L}(struct List* root, struct List* to) {
@ case empty{L}: \forall struct List* l; reachable(l, l);
@ case non_empty{L}: \forall struct List *l1,*l2;
@ \valid(l1) && r
浏览 4提问于2015-09-08得票数 1
回答已采纳
2回答
我对一些vue代码进行了重构，发现了如下重复的代码；
- main.ts
import BootstrapVue from 'bootstrap-vuew';
Vue.use(BootstrapVue);
我知道如果main.ts确实'import bootstrap- vue‘，那么其他vue文件使用bootstrap组件而不导入。但我的同事对每个vue组件都做了这种毫无意义的改进。
所以我想知道这个复制有什么关键的效率问题吗？如果是，这与渲染速度有关吗？
浏览 51提问于2021-06-03得票数 0
回答已采纳
我运行了一些gvrf 。我正在研究代码，发现GVRSceneobject有一些名为“堆栈号”和“片号”的属性。
对于GVRCylinderSceneObject，默认值分别为2和36。
对于GVRSphereSceneObject，默认值分别为18和36。
有人能解释一下“堆栈号”和“切片号”是什么意思吗？
浏览 3提问于2016-10-19得票数 1
回答已采纳
2回答
是否可以用CSS以恒定的数量翻译元素？例如，我们希望将一个div以50像素的速度移动到屏幕上。现在，我们使用手动更新转换值，但这会产生一种波动效应。
下面是代码，其中translate等于一个值，该值每次调用该行时都会增加50：
$(element).css( '-webkit-transform', 'translate3d( 0, ' + translate + 'px, 0)' );
我们需要在移动设备上进行这项工作，因此我们不能使用jQuery animate，因为它在移动设备上不够平滑(在我们的经验中)。因为我们需要跟踪元素的位置，所以
浏览 1提问于2014-05-19得票数 1
回答已采纳
1回答
我在eclipse和maven中使用gwt 2.6.1。我使用标准的开发模式。
我注意到我没有在标准控制台输出中获得堆栈跟踪异常和错误日志。
我在控制台中看到Hibernate日志，但我可以看到异常和错误，这使得调试变得困难。请帮帮忙。
浏览 2提问于2016-09-26得票数 0
回答已采纳
1回答
red5活动流总是丢弃帧
、、、
我有一个在red5服务器上构建的实时流站点，当我订阅时，实时视频似乎会丢弃帧。
我正在使用oflademo作为我的rtmp应用程序。
下面是用于照相机设置的actionscript：
广播
// setup cam
cam = Camera.get();
// setting dimensions and framerate
cam.setMode(320, 240, 15, false);
// set quality
cam.setQuality(0,0);
cam.setKeyFrameInterval(48);
订阅和广播是一样的。
有人能帮上忙吗。
浏览 0提问于2012-10-25得票数 3
1回答
我要做的是使用函数将用户输入推到堆栈上，因为我有一个开关箱菜单，而且每个案例都有自己的功能(打印堆栈，添加到堆栈.)打印堆栈工作，用户输入也工作，但似乎没有任何添加到堆栈。我会给你们展示我已经尝试过的东西：
void addStack(stack <int> myStack, int number){
myStack.push(number);
}
主要职能：
int nm;
stack <int> st;
do{
menu();
cin >> selection;
switc
浏览 5提问于2021-03-08得票数 0
回答已采纳
我有一个定制的TFS工作项查询，如下所示：
Work Item Type = Bug
AND Title CONTAINS "Login"
AND State <> "Closed"
旨在向我展示所有当前与登录相关的错误。当我运行它时，我得到的结果如下：
但是，如果我想知道我一周前运行这个查询时的结果是什么呢？那时候有20个打开的虫子吗？似乎使这个概念成为可能，但是有什么方法可以通过TFS提供的Web接口或通过来实现呢？
浏览 0提问于2014-06-11得票数 0
我已经用python编写了顺序遍历，它工作得很好。
def inOrderTraverse(tree, array):
if tree is None:
return None
inOrderTraverse(tree.left,array)
array.append(tree.value)
inOrderTraverse(tree.right,array)
return array
但是，当我尝试将相同的逻辑应用于GOlang时，它不起作用。
type BST struct {
Value int
Left *BST
浏览 0提问于2021-08-25得票数 1
(我是用纯x86程序集为NASM编写的，而不是C/C++。)
当编译的二进制文件运行时，我得到了一个分段错误--我知道这是一个古老的错误消息，但是搜索seg错误的这个特定实例并没有被证明是有效的：
gdb建议故障发生在调用开始时的ENTER 616,0。我认为这与推送旧的%rbp，将%rsp存储到%rbp中，并减少局部变量的616字节的%rsp是一样的。
有没有更有经验的人知道为什么分段故障会发生在这里？对于内存访问问题来说，这似乎是一个奇怪的地方--我唯一想到的就是616的值可能会减少很多，但除此之外，它让我感到困惑。是否对允许的大小有限制(可用内存总量除外)？
任何帮助都将不胜感激。
更新
浏览 0提问于2012-05-05得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
