Trojan Source

From HandWiki
Short description: Software vulnerability in source code
Trojan Source
CVE identifier(s)
  • CVE-2021-42574
  • CVE-2021-42694
Date discoveredSeptember 9, 2021; 2 years ago (2021-09-09)
DiscovererNicholas Boucher, Ross Anderson
Affected softwareUnicode, source code
Websitetrojansource.codes

Trojan Source is the name of a software vulnerability that abuses Unicode's bidirectional characters to display source code differently than the actual execution of the source code.[1] The exploit utilizes how writing scripts of different reading directions are displayed and encoded on computers. It was discovered by Nicholas Boucher and Ross Anderson at Cambridge University in late 2021.[2]

Background

Unicode is an encoding standard for representing text, symbols, and glyphs. Unicode is the most dominant encoding on computers, used in over 98% of websites (As of September 2023).[3] It supports many languages, and because of this, it must support different methods of writing text. This requires support for both left-to-right languages, such as English and Russian, and right-to-left languages, such as Hebrew and Arabic. Since Unicode aims to enable using more than one writing system, it must be able to mix scripts with different display orders and resolve conflicting orders. As a solution, Unicode contains characters called bidirectional characters (Bidi) that describe how text is displayed and represented. These characters can be abused to change how text is interpreted without changing it visually, as the characters are often invisible.[4]

Relevant Unicode bidirectional formatting characters
Abbreviation Name Description
LRE U+202A LEFT-TO-RIGHT EMBEDDING Try treating following text as left-to-right.
RLE U+202B RIGHT-TO-LEFT EMBEDDING Try treating following text as right-to-left.
LRO U+202D LEFT-TO-RIGHT OVERRIDE Force treating following text as left-to-right.
RLO U+202E RIGHT-TO-LEFT OVERRIDE Force treating following text as right-to-left.
LRI U+2066 ⁦ LEFT-TO-RIGHT ISOLATE Force treating following text as left-to-right without affecting adjacent text.
RLI U+2067 ⁧ RIGHT-TO-LEFT ISOLATE Force treating following text as right-to-left without affecting adjacent text.
FSI U+2068 ⁨ FIRST STRONG ISOLATE Force treating following text in direction indicated by the next character.
PDF U+202C POP DIRECTIONAL FORMATTING Terminate nearest LRE, RLE, LRO, or RLO.
PDI U+2069 ⁩ POP DIRECTIONAL ISOLATE Terminate nearest LRI or RLI.

Methodology

In the exploit, bidirectional characters are abused to visually reorder text in source code so that later execution occurs in a different order. Bidirectional characters can be inserted in areas of source code where string literals are allowed. This often applies to documentation, variables, or comments.

Vulnerable Python code
Source code with hints Source code displayed visually Source code interpreted 
def sum(num1, num2):
  '''Add num1 and num2, and [RLI] return; '''
  return num1 + num2
 
def sum(num1, num2):
  '''Add num1 and num2, and return; '''
  return num1 + num2
 
def sum(num1, num2):
  '''Add num1 and num2, and ''' ;
  return
  return num1 + num2

In the above example, the RLI mark (right-to-left isolate) forces the following text to be interpreted in the reverse order: the triple-quote is first (ending the string), followed by a semicolon (starting a new line), and finally with the premature return (returning None and ignoring any code below it). The new line terminates the RLI mark, preventing it from flowing into the below code. Because of the Bidi character, some source code editors and IDEs rearrange the code for display without any visual indication that the code has been rearranged, so a human code reviewer would not normally detect them. However, when the code is inserted into a compiler, the compiler may ignore the Bidi character and process the characters in a different order than visually displayed. When the compiler is finished, it could potentially execute code that visually appeared to be non-executable.[5] Formatting marks can be combined multiple times to create complex attacks.[6]

Impact and mitigation

Programming languages that support Unicode strings and follow Unicode's Bidi algorithm are vulnerable to the exploit. This includes languages like Java, Go, C, C++, C#, Python, and JavaScript.[7]

While the attack is not strictly an error, many compilers, interpreters, and websites added warnings or mitigations for the exploit. Both GNU GCC and LLVM received requests to deal with the exploit.[8] Marek Polacek submitted a patch to GCC shortly after the exploit was published that implemented a warning for potentially unsafe directional characters; this functionality was merged for GCC 12 under the -Wbidi-chars flag.[9][10] LLVM also merged similar patches. Rust fixed the exploit in 1.56.1, rejecting code that includes the characters by default. The developers of Rust found no vulnerable packages prior to the fix.[11]

Red Hat issued an advisory on their website, labeling the exploit as "moderate".[12] GitHub released a warning on their blog, as well as updating the website to show a dialog box when Bidi characters are detected in a repository's code.[13]

References

  1. ↑ "'Trojan Source' Bug Threatens the Security of All Code – Krebs on Security" (in en-US). November 2021. https://krebsonsecurity.com/2021/11/trojan-source-bug-threatens-the-security-of-all-code/. 
  2. ↑ "VU#999008 - Compilers permit Unicode control and homoglyph characters". https://kb.cert.org/vuls/id/999008. 
  3. ↑ "Usage Survey of Character Encodings broken down by Ranking". https://w3techs.com/technologies/cross/character_encoding/ranking. 
  4. ↑ "UAX #9: Unicode Bidirectional Algorithm". https://www.unicode.org/reports/tr9/. 
  5. ↑ Edge, Jake (2021-11-03). "Trojan Source: tricks (no treats) with Unicode [LWN.net"]. https://lwn.net/Articles/874951/. 
  6. ↑ Stockley, Mark (2021-11-03). "Trojan Source: Hiding malicious code in plain sight" (in en-US). https://blog.malwarebytes.com/exploits-and-vulnerabilities/2021/11/trojan-source-hiding-malicious-code-in-plain-sight/. 
  7. ↑ Tung, Liam. "Programming languages: This sneaky trick could allow attackers to hide 'invisible' vulnerabilities in code" (in en). https://www.zdnet.com/article/this-sneaky-trick-could-allow-attackers-to-hide-invisible-vulnerabilities-in-code/. 
  8. ↑ "GCC & LLVM Patches Pending To Fend Off Trojan Source Attacks" (in en). https://www.phoronix.com/scan.php?page=news_item&px=GCC-LLVM-Trojan-Source. 
  9. ↑ Malcolm, David (2022-01-12). "Prevent Trojan Source attacks with GCC 12" (in en). https://developers.redhat.com/articles/2022/01/12/prevent-trojan-source-attacks-gcc-12. 
  10. ↑ "Warning Options (Using the GNU Compiler Collection (GCC))". https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html#index-Wbidi-chars_003d. 
  11. ↑ "Security advisory for rustc (CVE-2021-42574) | Rust Blog" (in en). https://blog.rust-lang.org/2021/11/01/cve-2021-42574.html. 
  12. ↑ "RHSB-2021-007 Trojan source attacks (CVE-2021-42574,CVE-2021-42694)" (in en). https://access.redhat.com/security/vulnerabilities/RHSB-2021-007. 
  13. ↑ "Warning about bidirectional Unicode text | GitHub Changelog" (in en-US). 31 October 2021. https://github.blog/changelog/2021-10-31-warning-about-bidirectional-unicode-text/. 

External links



Retrieved from "https://handwiki.org/wiki/index.php?title=Trojan_Source&oldid=3379627"