Skip to content

Latest commit

 

History

22 Commits

Folders and files

NameName
Last commit message
Last commit date
 
 
 
 

Repository files navigation

SpringKill

Application Security Researcher

Focused on SAST, IAST, and practical open-source security tooling.

Static Analysis Runtime Analysis Open Source Security Tooling

About

I work on program analysis for security: building static and interactive analysis tooling that scales to real codebases, and doing vulnerability research on the JVM.

Research and Speaking

Focus Areas

  • Cross-language code property graphs — merging per-language CPGs into a single graph with cross-language edges, so taint flows survive a language boundary
  • Interprocedural taint analysis — cross-file and cross-module propagation, FQN-exact call resolution, sink-rooted result aggregation
  • LLM-assisted auditing with deterministic verdicts — models for naming and labelling, exploitability decided by an engine, not by a prompt
  • Build-from-source verification — reconstructing a runnable target from its repository, then confirming findings with IAST, OAST, and sanitizer signals
  • JVM vulnerability research — bytecode and runtime semantics, gadget chains, instrumentation

Snapshot

  • Role: Security researcher and tool builder
  • Primary Domains: SAST, IAST, program analysis, JVM security
  • Preferred Stacks: Java, Kotlin, Scala, Python, Go, Rust, TypeScript
  • Environment: Linux, Docker, HPC batch clusters (PBS)

Selected Projects

Maintained

CodeAuditAssistant — JetBrains code audit plugin: deep call-chain tracking, millisecond method/class search, prebuilt vulnerability sinks, decompiler and path finder.

Stars Forks Top language Last commit

Contributions

vulhub/java-chains — Java vulnerability exploitation platform.

Stars Forks Top language

OWASP-Benchmark/BenchmarkJava — OWASP test suite for measuring the speed and accuracy of SAST, DAST, and IAST tools.

Stars Forks Top language License

Research and Offensive Tooling

idocv_poc sqlmap_tcp_proxy Struts2-Vuln-Environment

Toolbox

Languages

Java Kotlin Scala Python Go Rust TypeScript

Analysis

Joern tree-sitter Semgrep JVM instrumentation

Platform

Linux Docker PostgreSQL Git Bash

About

No description, website, or topics provided.

Resources

Stars

2 stars

Watchers

1 watching

Forks

Releases

Packages

Contributors