https://hackerpaper.kaipfister.de/p/2207.09379/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=32177349urn:hackerpapers:mention:2207.09379:32177349Thu, 21 Jul 2022 09:37:47 GMT<p>&quot;...We identified 18 engineering challenges that static-analysis writers need to handle differently due to Kotlin&#x27;s unique constructs or the differences in the generated bytecode between the Kotlin and Java compilers. For eight of them, we provide a conceptual solution, while six of those we implemented as part of SecuCheck-Kotlin, an extension to the existing Java taint analysis SecuCheck...&quot; [PDF]: https://arxiv.org/pdf/2207.09379.pdf</p><p><a href="https://hackerpaper.kaipfister.de/p/2207.09379/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PLhttps://news.ycombinator.com/item?id=32177343urn:hackerpapers:submission:2207.09379:32177343Thu, 21 Jul 2022 09:36:59 GMT<p>Can we analyze Kotlin programs using existing Java taint analysis tools?</p><p></p><p>2 points; 1 discussion reply on HN. <a href="https://hackerpaper.kaipfister.de/p/2207.09379/">Paper and source history</a>. A submission is not an endorsement.</p>cs.PL