JSFuck

1. 개요

2. 원리

• ![] = false
  배열 자체는 truthy한 값으로 인정되므로, 여기에 부정을 의미하는 !(느낌표)를 사용하게 되면 false가 나온다.
• (객체)+[] = ""
  자바스크립트에서 오브젝트 간에 +(더하기) 연산은 정의되어 있지 않으므로 오브젝트끼리 더하게 되면 .toString()(문자열로 변환)[2] 처리가 되어 문자열 간의 더하기로 처리된다. 오브젝트로 취급되는 배열을 이용하여 [] + [] 를 하게 되면 [].toString() = ""이므로, 결과적으로 "" + "" = ""(빈 문자열)이 생성된다.
• false + "" = "false"
  부울 값인 false에 빈 문자열을 더하게 되면 false.toString() = "false"이므로 "false" 라는 문자열이 나오게 된다. 앞서 확인한 내용을 조합해보면 ![]+([]+[]) = false + "" = "false"가 된다.
• !![] = true
false를 부정하면 true가 된다.
• +true = 1
true 앞에 unary plus를 쓰면 숫자형 1로 변환이 된다. # 앞서 얻어온 !![] = true의 앞에 + 를 넣은 +!![] 는 숫자 1이 된다.
• "false"[1] = "a"
  앞서 얻어온 문자열 "false"의 두 번째 알파벳이 a이므로 "false"[1]은 "a"가 된다. 0부터 세는 것에 주의.
• 지금까지 파악한 내용들을 모두 이으면 (![]+[])[+!![]] = (false + "")[+true] = "false"[1] = "a" 가 된다. 해냈다!!

3. 예시

#!syntax javascript
[][(![]+[])[+[]]+([![]]+[][[]])[+!+[]+[+[]]]+(![]+[])[!+[]+!+[]]+(!![]+[])[+[
]]+(!![]+[])[!+[]+!+[]+!+[]]+(!![]+[])[+!+[]]][([][(![]+[])[+[]]+([![]]+[][[]
])[+!+[]+[+[]]]+(![]+[])[!+[]+!+[]]+(!![]+[])[+[]]+(!![]+[])[!+[]+!+[]+!+[]]+
(!![]+[])[+!+[]]]+[])[!+[]+!+[]+!+[]]+(!![]+[][(![]+[])[+[]]+([![]]+[][[]])[+
!+[]+[+[]]]+(![]+[])[!+[]+!+[]]+(!![]+[])[+[]]+(!![]+[])[!+[]+!+[]+!+[]]+(!![
]+[])[+!+[]]])[+!+[]+[+[]]]+([][[]]+[])[+!+[]]+(![]+[])[!+[]+!+[]+!+[]]+(!![]
+[])[+[]]+(!![]+[])[+!+[]]+([][[]]+[])[+[]]+([][(![]+[])[+[]]+([![]]+[][[]])[
+!+[]+[+[]]]+(![]+[])[!+[]+!+[]]+(!![]+[])[+[]]+(!![]+[])[!+[]+!+[]+!+[]]+(!!
[]+[])[+!+[]]]+[])[!+[]+!+[]+!+[]]+(!![]+[])[+[]]+(!![]+[][(![]+[])[+[]]+([![
]]+[][[]])[+!+[]+[+[]]]+(![]+[])[!+[]+!+[]]+(!![]+[])[+[]]+(!![]+[])[!+[]+!+[
]+!+[]]+(!![]+[])[+!+[]]])[+!+[]+[+[]]]+(!![]+[])[+!+[]]]((![]+[])[+!+[]]+(![
]+[])[!+[]+!+[]]+(!![]+[])[!+[]+!+[]+!+[]]+(!![]+[])[+!+[]]+(!![]+[])[+[]]+(!
[]+[][(![]+[])[+[]]+([![]]+[][[]])[+!+[]+[+[]]]+(![]+[])[!+[]+!+[]]+(!![]+[])
[+[]]+(!![]+[])[!+[]+!+[]+!+[]]+(!![]+[])[+!+[]]])[!+[]+!+[]+[+[]]]+[+!+[]]+(
!![]+[][(![]+[])[+[]]+([![]]+[][[]])[+!+[]+[+[]]]+(![]+[])[!+[]+!+[]]+(!![]+[
])[+[]]+(!![]+[])[!+[]+!+[]+!+[]]+(!![]+[])[+!+[]]])[!+[]+!+[]+[+[]]])()

• 0.1 + 0.2 = 0.30000000000000004
  number에 number를 더하면 당연히 number이다. 0.3 뒤에 0이 계속 따라붙는 것은 부동소수점의 한계 때문이다.
• +null = 0
  null 앞에 unary plus를 쓰면 0으로 변환된다.
• [] + [] = ""
  빈 배열끼리는 바로 더할 수 없기 때문에 .toString() 처리를 하여 "" + "" = ""이 된다.
• [][[]] = undefined
• +[][[]] = NaN
• [] + {} = "[object Object]"
  위와 같이 빈 오브젝트에 .toString() 처리가 되었다.
• ++[[]][+[]]+[+[]] = "10" (???)

• 연산자 ++는 + 보다 우선순위가 높으므로[4] 표면적으로 밖에 위치한 ++ 와 + 를 기준으로 하여 코드를 ++[[]][+[]] , +, [+[]]의 세 부분으로 이해한다.
• +[]에서의 +는 unary operator로, +[]는 +[].toString()[5]과 동치가 되어 +""가 되고, 빈 문자열 "" 에 대한 unary plus 처리 결과는 0[6]이다.
• 위의 분석대로 +[]는 0이므로 원래의 표현은 ++[[]][0], +, [0]의 세 부분으로 볼 수 있다.
• ++[[]][0]에서 ++ 뒤의 [[]][0]는 빈 배열 1개를 담고 있는 배열의 첫 번째 원소라는 의미이므로 그 안의 배열 []와 동치...일 수도 있으나 그렇다고 미리 줄여서 ++[]로 쓰면 ReferenceError가 뜬다. 이는 ++ 연산자가 레퍼런스를 받아야 하는데, [] 단독으로는 어느 변수에도 바인딩이 되어있지 않으므로 레퍼런스가 존재하지 않는 상태이고 따라서 ++[]는 말하자면 갈 곳 잃은 명령어 상태가 된다.[7] 따라서 ++[[]][0]를 ++[] 로 이해하면 안 된다.
• 다시 돌아와서, ++의 대상이 [[]][0]라면 이는 배열 안에 있는 배열[8]에 ++, 즉 +1을 시키라는 의미가 되며, [] + 1은 문자열 "1"[9]이 되고, 최종적으로 ++[[]][0]는 배열 안의 배열 []에 1을 더하는 동작을 수행한 뒤에 그 결과값인 숫자 1을 리턴하게 된다.[10]
• 표현은 1 + [0]으로 단순해졌다. [0]의 ToPrimitive() 값은 문자열 "0"이다. 어느 한쪽이 문자열인 더하기는 toString()을 한 결과물의 합이므로[11] "1" + "0"는 "10"이 된다.

3.1. 인터넷 익스플로러용

"function filter() {
    [native code]
}"

"
function filter() {
    [native code]
}
"

#!syntax javascript
[][(![]+[])[+[]]+([![]]+[][[]])[+!+[]+[+[]]]+(![]+[])[!+[]+!+[]]+(!![]+[])[+[
]]+(!![]+[])[!+[]+!+[]+!+[]]+(!![]+[])[+!+[]]][([][(![]+[])[+[]]+([![]]+[][[]
])[+!+[]+[+[]]]+(![]+[])[!+[]+!+[]]+(!![]+[])[+[]]+(!![]+[])[!+[]+!+[]+!+[]]+
(!![]+[])[+!+[]]]+[])[!+[]+!+[]+!+[]+!+[]]+(!![]+[][(![]+[])[+[]]+([![]]+[][[
]])[+!+[]+[+[]]]+(![]+[])[!+[]+!+[]]+(!![]+[])[+[]]+(!![]+[])[!+[]+!+[]+!+[]]
+(!![]+[])[+!+[]]])[[+!+[]]+[+!+[]]]+([][[]]+[])[+!+[]]+(![]+[])[!+[]+!+[]+!+
[]]+(!![]+[])[+[]]+(!![]+[])[+!+[]]+([][[]]+[])[+[]]+([][(![]+[])[+[]]+([![]]
+[][[]])[+!+[]+[+[]]]+(![]+[])[!+[]+!+[]]+(!![]+[])[+[]]+(!![]+[])[!+[]+!+[]+
!+[]]+(!![]+[])[+!+[]]]+[])[!+[]+!+[]+!+[]+!+[]]+(!![]+[])[+[]]+(!![]+[][(![]
+[])[+[]]+([![]]+[][[]])[+!+[]+[+[]]]+(![]+[])[!+[]+!+[]]+(!![]+[])[+[]]+(!![
]+[])[!+[]+!+[]+!+[]]+(!![]+[])[+!+[]]])[[+!+[]]+[+!+[]]]+(!![]+[])[+!+[]]]((
![]+[])[+!+[]]+(![]+[])[!+[]+!+[]]+(!![]+[])[!+[]+!+[]+!+[]]+(!![]+[])[+!+[]]
+(!![]+[])[+[]]+(![]+[][(![]+[])[+[]]+([![]]+[][[]])[+!+[]+[+[]]]+(![]+[])[!+
[]+!+[]]+(!![]+[])[+[]]+(!![]+[])[!+[]+!+[]+!+[]]+(!![]+[])[+!+[]]])[[!+[]+!+
[]]+[+!+[]]]+[+!+[]]+(!![]+[][(![]+[])[+[]]+([![]]+[][[]])[+!+[]+[+[]]]+(![]+
[])[!+[]+!+[]]+(!![]+[])[+[]]+(!![]+[])[!+[]+!+[]+!+[]]+(!![]+[])[+!+[]]])[[!
+[]+!+[]]+[+!+[]]])()

4. 활용

5. 여담