Software: Apache. PHP/5.4.45 

uname -a: Linux webm056.cluster010.gra.hosting.ovh.net 5.15.167-ovh-vps-grsec-zfs-classid #1 SMP Tue
Sep 17 08:14:20 UTC 2024 x86_64 

uid=243112(mycochar) gid=100(users) groups=100(users)  

Safe-mode: OFF (not secure)

/home/mycochar/www/image/photo/gcc-12.3.0/gcc/testsuite/gcc.dg/analyzer/torture/   drwxr-xr-x
Free 0 B of 0 B (0%)
Your ip: 216.73.216.77 - Server ip: 213.186.33.19
Home    Back    Forward    UPDIR    Refresh    Search    Buffer    

[Enumerate]    [Encoder]    [Tools]    [Proc.]    [FTP Brute]    [Sec.]    [SQL]    [PHP-Code]    [Backdoor Host]    [Back-Connection]    [milw0rm it!]    [PHP-Proxy]    [Self remove]
    


Viewing file:     boxed-ptr-1.c (1.49 KB)      -rw-r--r--
Select action/file-type:
(+) | (+) | (+) | Code (+) | Session (+) | (+) | SDB (+) | (+) | (+) | (+) | (+) | (+) |
/* { dg-skip-if "" { *-*-* } { "-fno-fat-lto-objects" } { "" } } */

#include <stdlib.h>
#include "../analyzer-decls.h"

typedef struct boxed_ptr { void *value; } boxed_ptr;

boxed_ptr __attribute__((noinline))
boxed_malloc (size_t sz)
{
  boxed_ptr result;
  result.value = malloc (sz);
  return result;
}

boxed_ptr __attribute__((noinline))
boxed_free (boxed_ptr ptr)
{
  free (ptr.value);
}

const boxed_ptr boxed_null = {NULL};

boxed_ptr test_1 (int flag)
{
  boxed_ptr ptr = boxed_malloc (sizeof (int));

  if (flag) /* { dg-message "following 'false' branch" } */
    if (!ptr.value)
      return boxed_null;

  *((int *)ptr.value) = 42; /* { dg-warning "dereference of possibly-NULL '\[^\n\r\]*'" } */

  return ptr;
}

void test_2 (int flag)
{
  boxed_ptr ptr;

  if (flag)
    ptr = boxed_malloc (4096);
  else
    ptr = boxed_malloc (1024);

  __analyzer_dump_exploded_nodes (0); /* { dg-warning "2 processed enodes" } */

  boxed_free (ptr);  

  __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
}

void test_3 (int kind)
{
  boxed_ptr ptr;

  switch (kind)
    {
    default:
      ptr = boxed_malloc (4096);
      break;
    case 0:
      ptr = boxed_malloc (128);
      break;
    case 1:
      ptr = boxed_malloc (1024);
      break;
    case 2:
      ptr = boxed_malloc (65536);
      break;
    }

  __analyzer_dump_exploded_nodes (0); /* { dg-warning "4 processed enodes" } */

  boxed_free (ptr);  

  __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
}

Enter:
 
Select:
 

Useful Commands
 
Warning. Kernel may be alerted using higher levels
Kernel Info:

Php Safe-Mode Bypass (Read Files)

File:

eg: /etc/passwd
Php Safe-Mode Bypass (List Directories):

Dir:

eg: /etc/

Search
  - regexp 
Upload
 
[ ok ]

Make Dir
 
[ ok ]
Make File
 
[ ok ]

Go Dir
 
Go File
 

--[ x2300 Locus7Shell v. 1.0a beta Modded by #!physx^ | www.LOCUS7S.com | Generation time: 0.0057 ]--