How we completely rewrote our static code analyzer for Kotlin
47 min

How we completely rewrote our static code analyzer for Kotlin

KotlinConf - KotlinConf 2023
Marharyta Nedzelska
kotlin psi semantic-analysis sonar android-lint static-analysis code-analysis compiler abstract-syntax-tree kotlin-compiler developer-tools
Preventing Data Races in Async Coroutines
17 min

Preventing Data Races in Async Coroutines

KotlinConf - KotlinConf 2023
Kevin Bierhoff
kotlin data-races thread-sanitizer tsan coroutines concurrency async-programming static-analysis android jvm testing kotlinx-coroutines
To Detekt 2.0, and beyond!
46 min

To Detekt 2.0, and beyond!

KotlinConf - KotlinConf 2023
Nicola Corti
kotlin detekt developer-tools compiler-plugin best-practices static-analysis code-quality gradle kotlin-compiler linting code-style build-automation
High-Assurance Go Cryptography
48 min

High-Assurance Go Cryptography

GopherCon - GopherCon 2023
Filippo Valsorda
go fuzzing formal-proofs cryptography testing static-analysis code-generation security
Vulnerability Management for Go
22 min

Vulnerability Management for Go

GopherCon - GopherCon 2023
Julie Qiu
go go-modules dependabot osv go-vulnerability-database vulnerability-management software-supply-chain security static-analysis cicd github-actions
Understanding Supply Chain Threats with Static Analysis
18 min

Understanding Supply Chain Threats with Static Analysis

GopherCon - GopherCon 2023
Jess McClintock
go supply-chain-attacks cli-tools capability-analysis secure-coding static-analysis dependency-management security vulnerabilities open-source-security github
An Overview of the Python Code Tool Landscape
27 min

An Overview of the Python Code Tool Landscape

PyCon - PyCon US 2023
Al Sweigart
python linting type-checking code-formatting static-analysis security-analysis ruff rust type-hints code-quality
Oh no! My regex is causing a Denial of Service! What can I do about it?
31 min

Oh no! My regex is causing a Denial of Service! What can I do about it?

PyCon - PyCon US 2023
Guillaume Dequenne Quazi Nafiul Islam
regex regular-expressions redos denial-of-service performance-optimization static-analysis python backtracking
Catching Tensor Shape Errors without Running Your Code
27 min

Catching Tensor Shape Errors without Running Your Code

PyCon - PyCon US 2023
Pradeep Srinivasan
machine-learning tensor-shapes type-checking python numpy pytorch debugging static-analysis ml-development broadcasting
Async: Scaling Structured Concurrency with Static and Dynamic Analysis
22 min

Async: Scaling Structured Concurrency with Static and Dynamic Analysis

PyCon - PyCon US 2023
Zac Hatfield-Dodds
asyncio python concurrency structured-concurrency static-analysis dynamic-analysis flake8 ast error-handling
Fixing Legacy Code, One Pull Request at a Time
54 min

Fixing Legacy Code, One Pull Request at a Time

PyCon - PyCon US 2023
Guillaume Dequenne
legacy-code python flask code-quality static-analysis sonarcloud github-actions cicd technical-debt refactoring pull-request developer-workflow
Do LLMs dream of Type Inference?
32 min

Do LLMs dream of Type Inference?

RubyConf - RubyConf 2024
Shunsuke Mori
ruby llm type-inference rbs static-analysis type-checking developer-tooling code-generation ai machine-learning programming-languages developer-productivity