Flag Checker

1
use std::io;
2

3
fn check_flag(flag: &str) -> bool {
4
    flag.as_bytes()[18] as i32 * flag.as_bytes()[7] as i32 & flag.as_bytes()[12] as i32 ^ flag.as_bytes()[2] as i32 == 36 &&
5
    flag.as_bytes()[1] as i32 % flag.as_bytes()[14] as i32 - flag.as_bytes()[21] as i32 % flag.as_bytes()[15] as i32 == -3 &&
6
    flag.as_bytes()[10] as i32 + flag.as_bytes()[4] as i32 * flag.as_bytes()[11] as i32 - flag.as_bytes()[20] as i32 == 5141 &&
7
    flag.as_bytes()[19] as i32 + flag.as_bytes()[12] as i32 * flag.as_bytes()[0] as i32 ^ flag.as_bytes()[16] as i32 == 8332 &&
8
    flag.as_bytes()[9] as i32 ^ flag.as_bytes()[13] as i32 * flag.as_bytes()[8] as i32 & flag.as_bytes()[16] as i32 == 113 &&
9
    flag.as_bytes()[3] as i32 * flag.as_bytes()[17] as i32 + flag.as_bytes()[5] as i32 + flag.as_bytes()[6] as i32 == 7090 &&
10
    flag.as_bytes()[21] as i32 * flag.as_bytes()[2] as i32 ^ flag.as_bytes()[3] as i32 ^ flag.as_bytes()[19] as i32 == 10521 &&
11
    flag.as_bytes()[11] as i32 ^ flag.as_bytes()[20] as i32 * flag.as_bytes()[1] as i32 + flag.as_bytes()[6] as i32 == 6787 &&
12
    flag.as_bytes()[7] as i32 + flag.as_bytes()[5] as i32 - flag.as_bytes()[18] as i32 & flag.as_bytes()[9] as i32 == 96 &&
13
    flag.as_bytes()[12] as i32 * flag.as_bytes()[8] as i32 - flag.as_bytes()[10] as i32 + flag.as_bytes()[4] as i32 == 8277 &&
14
    flag.as_bytes()[16] as i32 ^ flag.as_bytes()[17] as i32 * flag.as_bytes()[13] as i32 + flag.as_bytes()[14] as i32 == 4986 &&
15
    flag.as_bytes()[0] as i32 * flag.as_bytes()[15] as i32 + flag.as_bytes()[3] as i32 == 7008 &&
16
    flag.as_bytes()[13] as i32 + flag.as_bytes()[18] as i32 * flag.as_bytes()[2] as i32 & flag.as_bytes()[5] as i32 ^ flag.as_bytes()[10] as i32 == 118 &&
17
    flag.as_bytes()[0] as i32 % flag.as_bytes()[12] as i32 - flag.as_bytes()[19] as i32 % flag.as_bytes()[7] as i32 == 73 &&
18
    flag.as_bytes()[14] as i32 + flag.as_bytes()[21] as i32 * flag.as_bytes()[16] as i32 - flag.as_bytes()[8] as i32 == 11228 &&
19
    flag.as_bytes()[3] as i32 + flag.as_bytes()[17] as i32 * flag.as_bytes()[9] as i32 ^ flag.as_bytes()[11] as i32 == 11686 &&
20
    flag.as_bytes()[15] as i32 ^ flag.as_bytes()[4] as i32 * flag.as_bytes()[20] as i32 & flag.as_bytes()[1] as i32 == 95 &&
21
    flag.as_bytes()[6] as i32 * flag.as_bytes()[12] as i32 + flag.as_bytes()[19] as i32 + flag.as_bytes()[2] as i32 == 8490 &&
22
    flag.as_bytes()[7] as i32 * flag.as_bytes()[5] as i32 ^ flag.as_bytes()[10] as i32 ^ flag.as_bytes()[0] as i32 == 6869 &&
23
    flag.as_bytes()[21] as i32 ^ flag.as_bytes()[13] as i32 * flag.as_bytes()[15] as i32 + flag.as_bytes()[11] as i32 == 4936 &&
24
    flag.as_bytes()[16] as i32 + flag.as_bytes()[20] as i32 - flag.as_bytes()[3] as i32 & flag.as_bytes()[9] as i32 == 104 &&
25
    flag.as_bytes()[18] as i32 * flag.as_bytes()[1] as i32 - flag.as_bytes()[4] as i32 + flag.as_bytes()[14] as i32 == 5440 &&
26
    flag.as_bytes()[8] as i32 ^ flag.as_bytes()[6] as i32 * flag.as_bytes()[17] as i32 + flag.as_bytes()[12] as i32 == 7104 &&
27
    flag.as_bytes()[11] as i32 * flag.as_bytes()[2] as i32 + flag.as_bytes()[15] as i32 == 6143
28
}
29

30
fn main() {
31
    let mut flag = String::new();
32
    println!("Enter the flag: ");
33
    io::stdin().read_line(&mut flag).expect("Failed to read line");
34
    let flag = flag.trim();
35

36
    if check_flag(flag) {
37
        println!("Correct flag");
38
    } else {
39
        println!("Wrong flag");
40
    }
41
}

1
f = open('rev/flagchecker/source.rs', 'r').read()
2
f = f.split(' ')
3
w = open('rev/flagchecker/reformatted.rs', 'w')
4

5
for i in range(len(f)):
6
    if f[i][:15] == 'flag.as_bytes()':
7
        f[i] = "flag" + f[i][15:]
8
        f[i + 1] = ''
9
        f[i + 2] = ''
10
    elif f[i][:2] == '&&':
11
        f[i] = ')\nprint('
12
    elif f[i] == '==':
13
        f[i] = ''
14
        f[i + 1] = f', "should be {f[i + 1]}"'
15
    w.write(f[i] + ' ' if f[i] != '' else '')

1
m = 'INTIGRITI{aaaaaaaaaaa}'
2
flag = []
3
for c in m:
4
    flag.append(ord(c))
5

6
print(flag)
7

8
flag[15] -= 2
9
flag[11] = (6143 - flag[15]) // flag[2]
10
flag[20] -= 10
11
flag[17] = (((11686 ^ flag[11]) - flag[3]) // flag[9])
12
flag[10] = 6869 ^ (flag[7] * flag[5]) ^ flag[0]
13
flag[12] = 7104 - (flag[8] ^ flag[6] * flag[17]) + 16
14
flag[18] -= 27
15
flag[19] = 10521 ^ (flag[21] * flag[2] ^ flag[3])
16
flag[14] = 5440 - (flag[18] * flag[1] - flag[4])
17
flag[13] = (((4936 ^ flag[21]) - flag[11]) // flag[15])
18
flag[16] = 8332 ^ (flag[19] + flag[12] * flag[0])
19

20
print( flag[18] * flag[7] & flag[12] ^ flag[2] , "should be 36" )
21
print( flag[1] % flag[14] - flag[21] % flag[15] , "should be -3" )
22
print( flag[10] + flag[4] * flag[11] - flag[20] , "should be 5141" )
23
print( flag[19] + flag[12] * flag[0] ^ flag[16] , "should be 8332" )
24
print( flag[9] ^ flag[13] * flag[8] & flag[16] , "should be 113" )
25
print( flag[3] * flag[17] + flag[5] + flag[6] , "should be 7090" )
26
print( flag[21] * flag[2] ^ flag[3] ^ flag[19] , "should be 10521" )
27
print( flag[11] ^ flag[20] * flag[1] + flag[6] , "should be 6787" )
28
print( flag[7] + flag[5] - flag[18] & flag[9] , "should be 96" )
29
print( flag[12] * flag[8] - flag[10] + flag[4] , "should be 8277" )
30
print( flag[16] ^ flag[17] * flag[13] + flag[14] , "should be 4986" )
31
print( flag[0] * flag[15] + flag[3] , "should be 7008" )
32
print( flag[13] + flag[18] * flag[2] & flag[5] ^ flag[10] , "should be 118" )
33
print( flag[0] % flag[12] - flag[19] % flag[7] , "should be 73" )
34
print( flag[14] + flag[21] * flag[16] - flag[8] , "should be 11228" )
35
print( flag[3] + flag[17] * flag[9] ^ flag[11] , "should be 11686" )
36
print( flag[15] ^ flag[4] * flag[20] & flag[1] , "should be 95" )
37
print( flag[6] * flag[12] + flag[19] + flag[2] , "should be 8490" )
38
print( flag[7] * flag[5] ^ flag[10] ^ flag[0] , "should be 6869" )
39
print( flag[21] ^ flag[13] * flag[15] + flag[11] , "should be 4936" )
40
print( flag[16] + flag[20] - flag[3] & flag[9] , "should be 104" )
41
print( flag[18] * flag[1] - flag[4] + flag[14] , "should be 5440" )
42
print( flag[8] ^ flag[6] * flag[17] + flag[12] , "should be 7104" )
43
print( flag[11] * flag[2] + flag[15] , "should be 6143" )
44

45
m = ''
46
for i in flag:
47
    m += chr(i)
48

49
print(m)

1
INTIGRITI{tHr33_Z_FTW}