format3

#include <stdlib.h>
#include <unistd.h>
#include <stdio.h>
#include <string.h>
 
int target;
 
void printbuffer(char *string)
{
  printf(string);
}
 
void vuln()
{
  char buffer[512];
 
  fgets(buffer, sizeof(buffer), stdin);
 
  printbuffer(buffer);
  
  if(target == 0x01025544) {
      printf("you have modified the target :)\n");
  } else {
      printf("target is %08x :(\n", target);
  }
}
 
int main(int argc, char **argv)
{
  vuln();
}

target 을 0x01025544로 바꾸면되는데 10진수로 그냥 바꾸면 16930116 이런값이니까 그냥 똑같이 넣어주면된다.