[网鼎杯 2020 青龙组]singal

最新推荐文章于 2025-04-27 18:09:27 发布
原创 最新推荐文章于 2025-04-27 18:09:27 发布 · 559 阅读 · 5 ·
CC 4.0 BY-SA版权
加油加油~
文章标签：

#算法 #CTF #BUUCTF #angr #符号执行

记录下angr初使用

这道题是很简单的逻辑

32位

我们提取opcode

(你可以用convert)

我是用的IDApython\

import idc
adr=0x00403040
step=4#距离
op=[]
n=10#多少个数据
while(n):
    op.append(hex(idc.get_wide_dword(adr)))
    adr+=step
    n-=1
print(op)

然后我又下断点,提取每个"i"的值


                

        

    


  


        

            

                      
                        最低0.47元/天 解锁文章
                          
                      
            

        


    



                



	

		

			

				
					
re -16 buuctf [网鼎杯 2020 青龙组]singal（angr使用）

				
			

			

				

					weixin_45847059的博客
				

				

					11-23
					
					689
					
				

			

		

		

			
				
[网鼎杯 2020 青龙组]singal
前话：先记录下angr的使用。参考了大佬的文章：https://blog.youkuaiyun.com/Breeze_CAT/article/details/106139253
在cmd中使用，不能在pycharm中使用。
>>> import angr
>>> p = angr.Project(r'C:\Users\ASUS\Desktop\signal.exe') #地址前必须加r
>>> state = p.facto

			
		

	



                

            
              



	

		

			

				
					
BUUCTF-[网鼎杯 2020 青龙组]singal——angr学习记录

				
			

			

				

					weixin_52369224的博客
				

				

					11-14
					
					1971
					
				

			

		

		

			
				
​​​​​​学习结合b站的视频

环境配置：Ubuntu20.04+python3

​​​​​​angr安装教程


切换到angr环境：workon angr

退出angr环境：deactivate


什么是符号执行：

符号执行 （Symbolic Execution）是一种程序分析技术。其可以通过分析程序来得到让特定代码区域执行的输入。使用符号执行分析一个程序时，该程序会使用符号值作为输入，而非一般执行程序时使用的具体值。在达到目标代码时，分析器可以得到相应的路径约束，然后通过约束求解器来...

			
		

	



              


  
              

                


	

		

			

				
					
BUUCTF [网鼎杯 2020 青龙组]singal（angr）

				
			

			

				

					liulala987的博客
				

				

					08-28
					
					522
					
				

			

		

		

			
				
通常用于文件或套接字，而不是直接用于字符串。: 跳过当前指令（即不执行任何操作，只增加索引）。（下一个数组元素，作为操作数）与。执行减一和加一操作，并更新索引。函数（这里可能是个错误，因为。中，并跳过下一个数组元素。中，并跳过下一个数组元素。中，并跳过下一个数组元素。中，并跳过下一个数组元素。，则打印错误消息并退出程序。继续跟进vm_operad。的低字节，结果存储在。: 执行条件检查，如果。: 执行加法操作，将。: 执行减法操作，从。: 执行异或操作，将。: 执行乘法操作，将。索引处，并更新索引。

			
		

	





	

		

			

				
					
[网鼎杯 2020 青龙组]singal wp（原创）

				
			

			

				

					2301_81153188的博客
				

				

					03-08
					
					414
					
				

			

		

		

			
				
上述中这些数据，我们发现在case2~case5中，index都加2，因此我们可以将2,3,4,5后面的数据都去除，并且7后面的数据也可以全部剔除。他是四个字节为一组，我们只要第一个就行了（第一个是最低位），这里用ida的python脚本提取，用keypatch也可以。比如v8，虽然很多分支都出现了，但是只在case1中自增，并且只有经过case1 flag才被加密。我们发现这里的给的数字很有特点，并且加密的代码也有规律。v4的值传递给了vm_operad的参数。当a1的值为10的时候，就开始输入。

			
		

	



		

			
		



	

		

			

				
					
3.16---网鼎杯2020青龙组----signal----vm逆向

				
			

			

				

					qq_73505302的博客
				

				

					03-16
					
					947
					
				

			

		

		

			
				
3.16

			
		

	





	

		

			

				
					
2020——网鼎杯  （青龙组）signal

				
			

			

				

					寻梦&之璐
				

				

					03-30
					
					1万+
					
				

			

		

		

			
				
文章目录vm_operad函数功能read函数功能简介流程验证数据（逆向重点）逆向思维
vm_operad
int __cdecl vm_operad(int *a1, int a2)
{
  int result; // eax@2
  char v3[100]; // [sp+13h] [bp-E5h]@4
  char v4[100]; // [sp+77h] [bp-81h]@5
  char v5; // [sp+DBh] [bp-1Dh]@5
  int v6; // [sp+DCh] [bp-

			
		

	





	

		

			

				
					
[re]符号执行一把梭：2020网鼎杯青龙组re_signal_wp

					
热门推荐

				
			

			

				

					Breeze的博客
				

				

					05-15
					
					1万+
					
				

			

		

		

			
				
[re]符号执行一把梭：2020网鼎杯青龙组re_signal_wp
这道题是2020网鼎杯青龙组的一道逆向提signal，一道虚拟机逆向题目，题目本身不难，可以直接分析也可以符号执行秒掉。
题目分析
正常windows逆向，开局直接输flag，也不多bibi：

逆向分析程序：

程序开始将全局变量区的opcode作为参数给vm_operad函数，看名字也能看出是一个虚拟机分析的题目，先把opcode提取出来：
\x0A \x04 \x10 \x08 \x03 \x05 \x01 \x04 \x20 \x

			
		

	





	

		

			

				
					
[BUUCTF]REVERSE——[网鼎杯 2020 青龙组]singal

				
			

			

				

					mcmuyanga的博客
				

				

					03-03
					
					1709
					
				

			

		

		

			
				
[网鼎杯 2020 青龙组]singal
附件
步骤

例行检查，32位程序，无壳

本地试运行一下程序

32位ida载入，首先是找到main函数确定了flag字符串的样式flag{……}

根据输入点的提示字符串，找到对应函数，确定了字符串的长度是15

右击该函数，找到调用该函数的地方，来到了vm_operad（）函数处，看main函数可以知道，vm_operad里的参数v4在上面一行调用了qmemcpy函数，百度上说逆向里的qmemcpy=memcpy，memcpy在c语言里的拷贝函数，在unk_4

			
		

	





	

		

			

				
					
[网鼎杯 2020 青龙组]singal详细题解--VMP 直接逆向,angr模拟执行,ponce符号化

				
			

			

				

					OrientalGlass的博客
				

				

					09-12
					
					2465
					
				

			

		

		

			
				
按F9,运行到第二个断点,查看流程图,对着jz指令右键 SMT Solver>Negate and Inject to reach。可以在每条指令处加上打印语句获取指令执行顺序,这个操作仅能大概看一下执行流,自动解密不能靠这个。不获取这个data数组也没问题,因为数据保存在opcode数组中,只要执行流正确就可以。主函数并不复杂,关键内容在vm_opcode中,先提取出main函数中的opcode。如果是赋值14,使用后自减,中间变量chr先赋值后,xyzj等的值变成13。

			
		

	





	

		

			

				
					
buuctf————[网鼎杯 2020 青龙组]singal

				
			

			

				

					yhfgs的博客
				

				

					10-18
					
					328
					
				

			

		

		

			
				
1.查壳。

无壳，32位。



2.IDA反编译

可以看到主函数中关键函数为：vm_operad（），



逻辑就是：用switch分层加密，加密的结果为a1中7值之后的东西。（没太搞懂）

3.解密（我学的太菜了，脚本没写出来，手撸的。）



4.get flag

flag{757515121f3d478}
...

			
		

	





	

		

			

				
					
[网鼎杯 2020 青龙组]singal 1

				
			

			

				

					qq_24481913的博客
				

				

					12-01
					
					880
					
				

			

		

		

			
				
在主函数中找到了一个vm的译码器，译码器主要是解释传入的opcode，然后对我们输入的字符操作，这里我们发现他是单字节比较的，方法很多可以使用单字节映射，也可以是使用符号化执行，当然也可以硬着头皮去看。

			
		

	





	

		

			

				
					
BUUCTF_[网鼎杯 2020 青龙组]singal

				
			

			

				

					qq_45149832的博客
				

				

					09-22
					
					1509
					
				

			

		

		

			
				
BUUCTF_[网鼎杯 2020 青龙组]singal

			
		

	





	

		

			

				
					
BUUCTF Reverse/[网鼎杯 2020 青龙组]singal

				
			

			

				

					ookami6497的博客
				

				

					07-31
					
					704
					
				

			

		

		

			
				
BUUCTF Reverse/[网鼎杯 2020 青龙组]singal


先看文件信息，没有加壳



运行，又是字符串比较的题目



IDA32位打开，打开string窗口，跟随跳转



读入字符串

size_t __cdecl read(char *Str)
{
  size_t result; // eax

  printf("string:");
  scanf("%s", Str);
  result = strlen(Str);
  if ( result != 15 )
  {
  

			
		

	





	

		

			

				
					
BUUCTF-[网鼎杯 2020 青龙组]singal

				
			

			

				

					2301_81210668的博客
				

				

					03-30
					
					391
					
				

			

		

		

			
				
久闻vm的大名，第一次去尝试把它做出来，之前也是看过一个wp，感觉还行，就是有点麻烦。所以这次好好记录，好好地去分析，去学习，去做题。这就有点做数学证明题的感觉了，就给你一行信息，让你去证明某个东西。然后找把操作数提取出来，0x07后面的就是待比较的密文了，把他们提出来，看看前面对flag进行了什么操作。这个说法应该没错，列一下vm函数。主要分析这个vm_operad，大致应该是这样，case8不知道是啥。这个unk_403040里面的是操作数，到时候提出来解码就行了。根据翻译的结果写脚本逆flag。

			
		

	





	

		

			

				
					
re题(48)BUUCTF-[网鼎杯 2020 青龙组]singal

					
最新发布

				
			

			

				

					2301_80907001的博客
				

				

					04-27
					
					381
					
				

			

		

		

			
				
所以我们更改一下代码，把case7的比较操作改成给str第100往后存储单元赋值操作，并且每执行一个case记录一下v9的值（后面有用）,运行得到str第100个存储单元往后的数据，再改写一次代码，因为switch循环是根据a1[v9]的值进行选择的，而这两个值我们都知道，所以我们就可以从后往前运行，用str[v7+100]的值推出来flag。case7是str数组从第100个存储单元开始与a1数组里的数据按规律比较，若不同则结束，case10是输入操作，str数组前15个字符是我们要的flag。

			
		

	





	

		

			

				
					
buu练题记录7-[网鼎杯 2020 青龙组]singal

				
			

			

				

					Asteri5m
				

				

					04-17
					
					310
					
				

			

		

		

			
				
0x00 查壳
首先拿到的是一个exe文件，所以先查壳，然后看看是32位还是64位的程序

32位的程序，无壳。进入IDA分析：
0x01 IDA分析

很容易就找到mian函数，逻辑简单，就一个函数。直接进入函数分析：
int __cdecl vm_operad(int *a1, int a2)
{
  int result; // eax
  char v3[100]; // [esp+13h] [ebp-E5h]
  char v4[100]; // [esp+77h] [ebp-81h]
  cha

			
		

	





	

		

			

				
					
2020网鼎杯青龙组网络安全竞赛复盘

				
			

			

				

					
				

			

		

		

			
				
网鼎杯青龙组”，这说明该压缩包内可能包含了与2020年5月10日举行的“网鼎杯”活动的青龙组比赛相关的内容。  ### 深入知识点  - **网络安全竞赛**：网鼎杯可能是一个网络安全竞赛的名称，这类竞赛通常围绕着信息...

			
		

	



              




          




        



    





    



      

      

        
      

      





	

		评论	
	

  

	
    

      

      

      

        
        

          
          

            

              成就一亿技术人!
            

            

              拼手气红包6.0元
            

          

        

        

          

            还能输入1000个字符
          

          

             
          

          

            

              红包
              添加红包
            

            

              表情包
              插入表情
              

                

              

            

            

              表情包
              代码片
              

                
              

            

            

              
              
              
              
              
              
              
            

          

        

      

    

		

			

			

			

					 条评论被折叠 查看
			

			

				
			

		

	

	




  

    

      添加红包
      
    

    

      

        
        

          
          
        

        
请填写红包祝福语或标题

      

      

        
        

          
          个
        

        
红包个数最小为10个

      

      

        
        

          
          元
        

        
红包金额最低5元

      

      

        
        

          当前余额3.43元
          前往充值 >
        

      

      

        

          需支付：10.00元
        

        
        
      

    

  





  

    
    
  

  

    
    
  








  

    

      

        

          

            
            
成就一亿技术人!

          

          

        

        

          

          

            领取后你会自动成为博主和红包主的粉丝
            规则
          

        

      

      

        

          

            
              
            
            

              
hope_wisdom
 发出的红包
            

          

        

        

          

          

          

        

      

    

    

  





	
打赏作者

	

		

		
			
		
		

		

			
name_name123

			
你的鼓励将是我创作的最大动力

		

	

	

			

	

	

    ¥1
    ¥2
    ¥4
    ¥6
    ¥10
    ¥20
	

	

		

			

				

					扫码支付：¥1
				

				

					

					
					获取中
					

				

				

					
					
					扫码支付
				

			

		

		

			
您的余额不足，请更换扫码支付或充值

			
打赏作者

		

	



      
      

      
实付元

      
使用余额支付

      

        

          

            
            点击重新获取
          

        

        
扫码支付

      

      

        
          
            
          
          
        
      

      

        
        钱包余额
          0
          

            
            

              

                
抵扣说明：

                
 1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
 2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

              

            

          

      

      余额充值