Trojan Source Explained

Trojan Source
Discoverer:Nicholas Boucher, Ross Anderson
Affected Software:Unicode, source code

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

See main article: article, Unicode and Bidirectional text. 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 .[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
LRETry treating following text as left-to-right.
RLETry treating following text as right-to-left.
LROForce treating following text as left-to-right.
RLOForce treating following text as right-to-left.
LRIForce treating following text as left-to-right without affecting adjacent text.
RLIForce treating following text as right-to-left without affecting adjacent text.
FSIForce treating following text in direction indicated by the next character.
PDFTerminate nearest LRE, RLE, LRO, or RLO.
PDITerminate 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
nowrapdef sum(num1, num2): Add num1 and num2, and [RLI] ;return return num1 + num2nowrapdef sum(num1, num2): Add num1 and num2, and return; return num1 + num2nowrapdef 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 differently than it is displayed: the triple-quote is first (ending the string), followed by a semicolon (starting a new line), and finally with the premature return (returning 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]

External links

Notes and References

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