在循环中使用strlen反转C中的字符串
可以通过以下步骤实现：
- 首先，需要使用头文件
<string.h>来包含strlen函数的声明。 - 创建一个字符数组来存储要反转的字符串，并使用
scanf或者直接赋值的方式将字符串存储在该数组中。 - 使用
strlen函数获取字符串的长度，即字符串中字符的个数。 - 创建一个新的字符数组，长度为原始字符串的长度加1，用来存储反转后的字符串。因为字符串以'\0'结尾，所以需要额外的一个位置。
- 使用一个循环，从原始字符串的最后一个字符开始，依次将每个字符赋值给新的字符数组。
- 最后，在新的字符数组的末尾添加'\0'，表示字符串的结束。
- 输出反转后的字符串。
以下是一个示例代码：
#include <stdio.h>
#include <string.h>
int main() {
char str[100];
printf("请输入一个字符串：");
scanf("%s", str);
int len = strlen(str);
char reversedStr[len+1]; // 加1是为了留一个位置给'\0'
for (int i = len - 1, j = 0; i >= 0; i--, j++) {
reversedStr[j] = str[i];
}
reversedStr[len] = '\0';
printf("反转后的字符串为：%s\n", reversedStr);
return 0;
}在这个例子中，我们使用了<stdio.h>和<string.h>这两个头文件。用户输入一个字符串后，我们使用strlen函数获取字符串长度，并创建一个新的字符数组reversedStr来存储反转后的字符串。通过一个循环，我们将原始字符串的字符从后往前依次赋值给新的字符数组。最后，我们在新的字符数组末尾添加'\0'，并输出结果。
腾讯云相关产品和产品介绍链接地址：
- 云服务器CVM：https://cloud.tencent.com/product/cvm
- 云数据库CDB：https://cloud.tencent.com/product/cdb
- 云原生容器服务TKE：https://cloud.tencent.com/product/tke
- 人工智能平台AI Lab：https://cloud.tencent.com/product/ailab
- 物联网通信IoT Hub：https://cloud.tencent.com/product/iothub
- 移动开发平台MIPaaS：https://cloud.tencent.com/product/mipaas
- 云存储COS：https://cloud.tencent.com/product/cos
- 腾讯区块链服务：https://cloud.tencent.com/product/tbaas
- 腾讯元宇宙：https://yun.qq.com/infinity/
相关·内容
3回答
我试图用以下函数在C中反转字符串：
void reverse(char *txt) {
char *copytxt;
copytxt = (char*) malloc((strlen(txt) + 1 ) * sizeof(char));
strcpy(copytxt, txt);
int i;
for(i=0;i<strlen(copytxt);i++){
if(i == strlen(copytxt)){
*(txt+i) = 0;
}
else{
*(txt+i) = *(copytxt+strlen(copy
浏览 1提问于2014-04-29得票数 1
回答已采纳
1回答
我正在尝试用C编写一个函数到return，这与传递给函数的a字符串相反。
一旦字符串被传入，我就声明一个本地char []来填充该字符串的反面。
但是，当我编译程序时，我会收到一个警告，说明是warning: function returns address of local variable return test;
是否允许从C中的函数返回局部变量指针？
char *reverseString(char *str)
{
int i, j;
char test[strlen(str)];
if(str == 0)
return;
浏览 2提问于2015-03-10得票数 0
回答已采纳
假设我有一个字符串变量：
$str = "abcdefghijklmn";
在PHP中，编写函数以从字符串的结束开始并返回所有其他字符的最佳方式是什么？该示例的输出应该是：
nljhfdb
以下是我到目前为止所拥有的：
$str = "abcdefghijklmn";
$pieces = str_split(strrev($str), 1);
$return = null;
for($i = 0; $i < sizeof($pieces); $i++) {
if($i % 2 === 0) {
浏览 5提问于2014-03-03得票数 1
2回答
谁能解释一下XOR，(^)在休眠代码中到底做了什么，为什么这个函数是一个指针？
char *strReverse(char *str)
{
char *pb, *pe;
for (pb = str, pe = str + strlen(str) - 1; pe > pb; ++pb, --pe)
{
*pb ^= *pe;
*pe ^= *pb;
*pb ^= *pe;
}
return str;
}
浏览 2提问于2012-05-04得票数 3
回答已采纳
1回答
_strrev运行方式
、、、、
有人能解释一下，在下面的代码中，每一步都会发生什么，这些代码会打印出单词“some”的前缀：“s”？
#include <iostream>
#include <string.h>
using namespace std;
int main()
{ char s[] = "some";
int i;
for (i = 0; i < strlen(s); i++)
{ _strrev(s);
cout << _strrev(s + strlen(s) - i - 1) <
浏览 3提问于2016-03-08得票数 1
回答已采纳
4回答
我一直在处理一个问题，要求我使用一个写递归函数，该函数可以反转字符串中的单词。例如，如果字符串是"cat正在运行“，则结果应该是" running”。
我已经完成了问题，但我觉得我的实现真的很糟糕。有谁知道解决这个问题的其他方法吗？还有其他方法来改进我的代码吗？
#include <stdio.h>
#include <string.h>
void reverse(char* string, int count);
int main()
{
char string[] = "cat is running";
//resul
浏览 0提问于2016-06-16得票数 2
回答已采纳
8回答
简单串逆变程序
、、
我目前正在学习c编程，但我处于一个非常基本的水平。因此，作为练习，我做了一个程序，读取一个字符串，并反转它。我想知道这些代码是否可读，以及如何改进它。
/*
* Goal: Given a string, invert it, then print the result.
* Author: Lúcio Cardoso
*/
#include <stdio.h>
#include <string.h>
/*This is the size of the arrays in this program. It's better to use a
浏览 0提问于2016-01-22得票数 14
回答已采纳
2回答
任务：
给定一个由空格分隔的字符串，反转字符串中的单词。例如，给定"hello world here"，返回"here world hello“后续:给定一个可变的字符串表示形式，您能就地执行此操作吗？
我的解决方案：
const reverseStr = s => s.split(' ').reverse().join(' ');
console.log(reverseStr("hello world here"));
我的“就地”解决方案：
const reverseStrInPlace = s => {
浏览 0提问于2019-02-17得票数 2
回答已采纳
2回答
带指针C++的字符串反转
、、、、
可能重复：
我想编写一个简单的C++函数，它只通过指针算法反转string/char[]。我理解这个概念，并且已经输入了代码。
我有以下.cpp文件：
#include <iostream>
using std::cout;
using std::endl;
void reverse(char* target) //Requirements specify to have this argument
{
cout << "Before :" << target << endl; // Print out the
浏览 4提问于2012-10-22得票数 6
回答已采纳
首先，我对编程和堆栈溢出都很陌生。
我正在自学Schaum关于用C++编程的大纲，我对问题8.24有一些问题(书中几乎每个问题都有解决方案，但我想知道为什么我的代码没有像预期的那样工作)。
您应该得到一个c-字符串并返回给定的字符串，但是它的所有标记都是相反的(但是保持令牌本身的自然顺序)。也就是说，如果“输入一个句子”，它就会在屏幕上显示“句子a Enter”。
我的代码如下：
#include <iostream>
#include <cstring>
using namespace std;
int main()
{
char line1[100];
浏览 0提问于2020-10-18得票数 0
回答已采纳
2回答
你如何逆转句子中的语序？
、、、、
任务是逆转句子中单词的顺序，我能够逆转单词的顺序，但问题是单词中字母的顺序也发生了变化。
例如:猫和狗
我计划中的奇迹:tac dna sgod
期望的输出:狗和猫
如何修复代码才能正确工作？
这是我的密码：
void revSent(char str[]) {
int i;
int n = strlen(str);
char letter;
for (i = 0; i < n / 2; i++) {
letter = str[i];
str[i] = str[strlen(str) - i - 1];
浏览 10提问于2022-11-13得票数 -2
2回答
使用for循环反转C中的字符串？
、、、、
我一直在尝试尽可能简单地反转字符串，试图向自己证明一点，但由于某种原因，代码无法工作。我知道我可以很容易地在网上找到不同的方法，但那样我就什么也学不到了。有没有人能解释一下？
#include <stdio.h>
#include <stdlib.h>
int main()
{ int i,n,c=0;
char s[50];
char a[50];
for(i = 0; i < 50;i++)
scanf("%[^\n]c",&s[i]);
for(n = strlen(s), i =
浏览 7提问于2021-11-11得票数 0
5回答
函数可以返回字符串作为其输出吗？
、、、、
我正在尝试实现一个代码，该代码使用一个名为reverse的函数，该函数接受一个字符串，并返回一个与旧字符串相反的新字符串。据我所知，这个函数本身工作正常--也就是说，我测试了reversed string: new字符串是否有正确的值。但是，在返回到main函数之后，当我试图打印这个颠倒过来的字符串时，我得到了一个错误的访问代码。有谁有什么想法吗？下面是我的代码：
#include <stdio.h>
#include <string.h>
char reverse( char *string) {
char newstring[50]; //reversed s
浏览 3提问于2014-12-05得票数 2
2回答
下面的C程序将大数相乘为字符串。它在处理正数时工作得很好，但是对于大数会占用太多的内存。我如何改进它以使用更少的内存？
我的程序：
char *strrev(char *str) {
char *p1, *p2;
if(!str || !*str)
return str;
for (p1 = str, p2 = str + strlen(str) - 1; p2 > p1; ++p1, --p2) {
*p1 ^= *p2;
*p2 ^= *p1;
浏览 0提问于2018-12-20得票数 0
1回答
这两个例子有什么区别？
、、、、
实际上，我是C++和编程的初学者。我只想问，这两个例子有什么区别。"len = strlen(str1)-1“和"i = strlen(str1)-1”的区别是什么？
代码的顶部将如下所示：
#include <iostream>
#include <string.h>
using namespace std;
int main()
{
char str1[20],str2[20];
int c, i ,j, len;
cout<<"Enter a word: ";
cin.getl
浏览 6提问于2021-05-22得票数 0
回答已采纳
3回答
我得到了以下输出: olleh�hello，但是找不到哪里出错了！
int main()
{
char hello[6] = "hello";
char temp[6];
unsigned int t = 0;
for(int i=strlen(hello)-1;i>=0;i--)
{
if(t<strlen(hello))
{
temp[t] = hello[i];
t++;
}
}
浏览 2提问于2011-09-18得票数 1
void find_substring(char * str_for_search_in, char * substring)
{
bool flag = false;
for (int i = 0; i < strlen(str_for_search_in) - strlen(substring); i++)
{
if (str_for_search_in.substr(i, strlen(substring)) == substring)
{
cout << i << "
浏览 6提问于2022-11-24得票数 0
回答已采纳
我试图解决C中的一个问题，在这个问题中，我们需要把句子中的单词倒过来。例如，“你好，我的名字是”to“是命名我的你好”。我面临的问题是堆栈溢出错误。不太确定我的代码是否也能完美地工作。知道我做错了什么会很感激的。谢谢!
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
int my_strlen(char sentence[]) {
int count = 0;
for (int i = 0 ; sentence[i] != '\0' ; i++) {
浏览 19提问于2022-10-05得票数 -1
2回答
我看了一些代码，我不知道while(~scanf的含义
while(~scanf("%s", word+1) !=EOF)
{
int a= strlen(word+1);
我已经搜索了谷歌，但在这上面什么也没有发现。请帮帮忙
浏览 1提问于2019-10-23得票数 2
回答已采纳
3回答
我正在尝试编写一个程序来反转用户输入的字符串。
Enter a sentence: you can cage a swallow can't you Reversal of sentence: you can't swallow a cage can you
所以我想逐字扫描字符串。然后将字符串从末尾复制到开头，再复制到一个新字符串中。在这一点上，我知道每当我看到一个空格，我就会得到一个新单词，所以我必须颠倒两个空格之间字母的顺序。这是我的密码：
#include <stdio.h>
#include <string.h>
int main(){
浏览 0提问于2018-11-26得票数 0
回答已采纳
4回答
这是使用递归调用在C中反转字符串的函数：
#include <stdio.h>
#include <string.h>
void revert(char* left, char* right) { // Should I pass char* like I'm doing now or are char** a better idea?
if(left == right) return;
char *ll = left; char* rr = right;
char tmp = right[0];
right[0] = le
浏览 0提问于2014-11-21得票数 3
回答已采纳
3回答
反转指针中的数组
、、
以下是我的问题：
编写相反的函数(char s[])来反转字符串。例如，“Harry”变成“yrraH”。
这是我的密码：
void reverse(char s[]);
int main()
{
char s [] = "Harry";
reverse(s);
cout << s << endl;
system("PAUSE");
return 0;
}
void reverse(char s[])
{
int length = strlen(s);
int c, i
浏览 2提问于2013-05-13得票数 0
回答已采纳
#include<stdio.h>
#include<string.h>
#include<stdlib.h>
void main() {
int i, j, k=0;
int len;
char *rev[3];
char *s[]={
"To err is human...",
"But to really mess things up...",
"One needs to know c!!"
};
for (
浏览 3提问于2014-01-22得票数 1
4回答
C:回文:不同的strlen-值
、、、、
我正在创建一个函数，该函数反转一个字符串并检查该字符串是否为回文。当我用像"abba“这样的明显回文测试函数时，函数说它不是回文。另外，前向字符串和反向字符串在字符串长度上也不同！
#include <stdio.h>
#include <string.h>
char forward [] = "abba"; //The string to be reversed
int size = (sizeof(forward)/sizeof(forward[0]) - 1);
int j = 0;
char reverse [10];
void r
浏览 1提问于2015-12-04得票数 1
回答已采纳
3回答
我通常很好地理解递归，但由于我对strcpy和指针等C函数不熟悉，所以我无法理解这种递归是如何反转字符串的：
char *reverse(char *string)
{
if (strlen(string) <= 1)
return string;
else
{
char temp = *string;
strcpy(string, reverse(string+1));
*(string+strlen(string)) = temp;
return string;
}
浏览 1提问于2012-10-01得票数 0
回答已采纳
我正在尝试做一个关于关键字密码的程序，在从字母表字符中删除关键字(Alphabet2)字符时卡住了。它最终会有重复的字符。如何删除它？我的示例关键字是单词helo，它给出了abcdfgijkmnpqrstuvwxyzzzzz的结果。如何删除它？
char alphabet[] = "abcdefghijklmnopqrstuvwxyz";
char alphabet2[] = "helo";
for(i = 0 ; i < strlen(alphabet2); i++){
for(j=0, k=0; j < strlen(a
浏览 0提问于2018-02-04得票数 0
我练习了一些编程问题，并尝试编写流行的“字符串中的反向单词”问题。
我试着用C语言编写我自己的代码，我能够部分地把它做好。也就是说，“你好世界”变成了“世界奥利”。我想知道这是什么虫子。我想，在某个地方，我正在创建一个off by 1 bug。
我想尽可能不使用库函数来完成它。我在这里搜索了这个问题&找到了许多解决方案，但我想知道为什么我的解决方案不起作用。
以下是代码：
#include <stdio.h>
#include <string.h>
void reverse(char*, int);
int main(int argc, char **arg
浏览 3提问于2012-07-01得票数 3
回答已采纳
1回答
我试图从用户获得一个字符串，然后删除字符串中的所有字符，除了字母。字符串是包含空格的字符串。我输入了一个字符串，但输出仅为"@@“。
我不知道发生了什么。
//C program
//Program to remove all characters in a string, except alphabet
#include <stdio.h>
#include <string.h>
int main()
{
char str[150], copy[150];
int i = 0, j = 0;
printf("\nEnter a string :
浏览 4提问于2022-02-26得票数 0
回答已采纳
预期的输出是首先反转整个DNA字符串，然后转换A <-> T，C <-> G。然而，在实际输出中，第一个字符打印为"p"，这是从不知名的地方出来的，但是输出字符串的其余部分很好。下面是代码：
int main() {
const char dna[] = "GATCACAGGTCTATCACCCTATTAACCACTCACGGGAGCTCTCCATGCAT"
"TTGGTATTTTCGTCTGGGGGGTGTGCACGCGATAGCATTGCGAGACGCTG"
浏览 2提问于2022-02-04得票数 2
3回答
分段故障，c程序
、、、、
我不得不用c写一个程序作为作业作业。程序检查输入的字符串是否为回文。不幸的是，在执行我的程序时，我得到了一个分段错误。
根据我的知识分割，错误意味着我正在访问不属于我的记忆。
经过一些尝试，我发现，我得到了“在”标记的scanf函数中的错误。请帮帮忙。
这是源代码：
#include <stdio.h>
#include <ctype.h>
#define FALSE 0
#define TRUE !FALSE
#define STR_LEN01 1000
unsigned long long fStrLen(unsigned char str[])
{
浏览 1提问于2022-02-01得票数 2
回答已采纳
5回答
总线错误故障排除
、、
我正在尝试颠倒一个字符串。
这是我尝试过的代码：
#include<stdio.h>
#include<string.h>
int main(){
char *c="I am a good boy";
printf("\n The input string is : %s\n",c);
printf("\n The length of the string is : %d\n",strlen(c));
int i,j;
char temp;
int len=strlen(c
浏览 0提问于2011-09-18得票数 9
回答已采纳
以下是python代码：
def is_palindrome(s):
return revers(s) == s
def revers(s):
ret = ''
for ch in s:
ret = ch + ret
return ret
print is_palindrome('RACECAR')
# that will print true
当我将该函数转换为php时。
function is_palindrome($string){
if (strrev($string) == $string)
浏览 0提问于2013-03-25得票数 0
回答已采纳
2回答
截断c中的管道消息
、、、
我编写了一个简单的程序来学习如何用C编写管道消息，在编写过程中，我发现了一些我无法解释或理解的非常奇怪的东西，这就是代码：
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#define MAXSIZE 100
int fd[2];
void writeMsg() {
int i;
char message[MAXSIZE];
for (i = 0; i < 12; i++) {
sprintf(message,"%d%d%d%d%
浏览 3提问于2013-08-14得票数 2
回答已采纳
我试图在字符串指针中搜索字符串。我不知道如何确切地解释我想要达到的目标，但我会尽我所能。
假设我有两个字符串指针char *p = "hello world"和char *q = "world"，world在hello world中，所以我想返回指向*p的w的指针*start。我希望这是有意义的，如果没有，那就可以在下面发表评论。
备注:不幸的是，除了strlen()之外，我不允许使用任何string.h库函数，也不允许使用索引--事实上，我不允许使用任何方括号[]。
忽略所有的printf，因为他们在那里检查程序出错的地方。
#include <stdi
浏览 2提问于2016-02-23得票数 0
回答已采纳
在昨天的采访中，我被问到如何使用strrev()或strlen()这样的字符串函数来反转字符串。我在网站上找到了这个例子，但是它使error.is可以在没有strlen()的情况下做到这一点。
未初始化字符串偏移量：-1在第xx行的D:\xampp\htdocs\PhpProject1\index.php中
$string = "ZEESHAN";
$i =0;
while(($string[$i])!=null){
$i++;
}
$i--;
while(($string[$i])!=null){
echo $string
浏览 8提问于2015-12-22得票数 5
回答已采纳
我有这个程序
#include <stdio.h>
#include <stdlib.h>
int main()
{
char text[30];
int i,j,n;
puts("Enter the Text:");
gets(text);
n=strlen(text);
for(i=n;i>=0;i--)
{
if(text[i-1]==' '||text[i-1]==NULL )
{
for(j=i;text[j]!=&
浏览 10提问于2013-08-18得票数 2
2回答
我只是在学习C，我正在尝试编写一个函数来反转char-数组(string) ，不是用索引，而是通过指针，而不是malloc。
#include <stdio.h>
#include <string.h>
char* reverse(char* chararray)
{
char *forward = chararray;
char *reversed = &chararray[strlen(chararray)-1];
while (reversed > forward) {
char revTmp =
浏览 4提问于2017-02-13得票数 0
回答已采纳
2回答
我目前正在尝试读取一个文件，如果它发现一个反斜杠，则添加额外的反斜杠()，并将其写入另一个文件。问题是，在path.txt中打印了一些奇怪的字符。我怀疑，文件logdata中的space字符是这个问题的根源。需要如何解决这个问题的建议。
代码如下：
// read a file
char str[256];
fstream file_op("C:\\logdata",ios::in);
file_op >> str;
file_op.close();
// finds the slash, and add additional slash
char newPath
浏览 0提问于2011-02-28得票数 1
回答已采纳
当运行valgrind检查用C89/90编写的程序中的错误时，尽管字符串正在初始化，但对于我编写的strToUpper()函数，它出现了Uninitialised value was created by a heap allocation错误。 我使用这个函数来比较忽略大小写的字符串。不幸的是，C89似乎没有在<string.h>中包含strcasecmp()函数，所以我编写了自己的函数，它调用strToUpper()和strcmp()函数。 代码 char* strToUpper(char* inStr)
{
int i;
char *upperStr;
浏览 25提问于2019-10-11得票数 0
回答已采纳
我正在用visual c# windows窗体应用程序开发一个程序。我需要找出文本框中的字符数，并在列表框中显示每个字符的频率。我有以下代码：
private void btnCheckFrequency_Click(object sender, EventArgs e)
{
lstFreqMeter.Items.Clear();
string str;
int c = 1;
int strlen;
str = txtString.Text;
strlen = txtString.TextLength;
int[] counter
浏览 4提问于2013-10-21得票数 1
4回答
下面是一个简单的代码，在C中反转字符串--最后一个printf语句打印反向顺序，但是末尾有一个问号，而我只想打印反向字符串，而不是问号--如何修复它？
#include<stdio.h>
#include<string.h>
int main(){
char new_string[100];
char string[100];
scanf("%s",string);
printf("original_number = %s\n",string);
int i;
int l = strlen(string)-1;
for(i = 0; i
浏览 7提问于2017-02-09得票数 1
回答已采纳
2回答
我试图使用指针来反转字符串，但是它似乎不起作用，有什么问题吗？输出是olllo，但应该是olleh。
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
void reverse(char *cadena){
size_t len = strlen(cadena);
char *end= cadena;
char *aux = cadena;
while(*++end){}
--end; //end points to a
浏览 0提问于2018-06-24得票数 1
回答已采纳
我试图在c中反转一个字符串，但我得到了分段错误，核心转储错误，无法找出错误。
#include<stdio.h>
#include<string.h>
void main(){
char inputstr[100];
int i = 0;
char revstr[100];
printf("Give me something to reverse!!:\t");
gets(inputstr);
printf("You entered %s\n", inputstr);
int
浏览 6提问于2016-11-24得票数 0
2回答
为了使回文(如中午或NoOoON )说它是回文，而不是说它不是回文，我应该在代码中包含toupper()。我好像搞不懂。谢谢。
#include <stdio.h>
#include <string.h>
#include <ctype.h>
void reverse(char s[]){
int c, i , j;
for (i = 0, j = strlen(s)-1; i < j; i++, j--) {
c = s[i];
s[i] = s[j];
s[j] = c;
浏览 3提问于2013-09-23得票数 0
我有下面的代码，基本上我在C中实现了我自己的读行函数，用于在内存分配等方面行使我的功能。在我提出问题之前，没有人帮助我最终纠正我的代码，除了建议使用valgrind之外。因为我以前从未用过它，所以我很难理解所有的东西。
我的代码如下：
#include<stdio.h>
#include<stdlib.h>
#include<string.h>
/**
Gets and a variable-size line from the standard input.
*/
char* readline(){
size_t n = 10;
cha
浏览 3提问于2016-03-14得票数 1
回答已采纳
我想知道为什么char数组的显示是短的几个字符。但是，当我使用length+2时，会显示所有字符。我不确定我做错了什么。您的帮助我们将不胜感激。我使用的是Dev-C++
#include <iostream>
#include <string.h>
using namespace std;
char *Appendstring(char *a, char *b, char *c, char *d, char *e) // will append b to the end of a
{
// char *buffer = new char[strlen(a)+st
浏览 0提问于2013-05-04得票数 1
回答已采纳
4回答
我最近一直在学习C，我遇到了一个strlen的源代码，这让我很困惑，我不得不在其他地方查找它，但还不能真正理解它。
斯特伦：
#include <stdio.h>
int strlen(const char *str)
{
const char* eos = str; // 1
while (*eos++); // 2
return (eos - str - 1); // 3
}
int main()
{
int len = strlen("Hello");
printf("Len: %d" , le
浏览 4提问于2021-11-15得票数 1
回答已采纳
5回答
我在php.net站点上使用以下函数来确定ASCII码和UTF8字符串中的字节数：
<?php
/**
* Count the number of bytes of a given string.
* Input string is expected to be ASCII or UTF-8 encoded.
* Warning: the function doesn't return the number of chars
* in the string, but the number of bytes.
*
* @param string $str
浏览 2提问于2010-03-05得票数 6
2回答
我编写了一个C函数来检查两个给定的字符串(C样式)是否是字谜。我尝试用Frama-C验证它，但它不能验证函数的最终行为(其他规范是有效的)。第一个是超时(即使在WP中有非常高的超时值)，第二个是未知的。
代码如下：
#include <string.h>
//@ ghost char alphabet[26] = {'a', 'b', 'c', 'd', 'e', 'f', 'g', 'h', 'i', 'j', &
浏览 0提问于2015-08-21得票数 2
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
