Abstract: String constraint problems faced by program analysis tools are pervasive in programming, but datasets built specifically for real-world string constraints are rare. To understand the ...

"chanzi" is a simple and user-friendly JAVA SAST tool that utilizes taint analysis technology, includes built-in common vulnerability rules, supports decompile, custom rule, and is compatible with the ...

We propose Nopol, an approach to automatic repair of buggy conditional statements (i.e., if-then-else statements). This approach takes a buggy program as well as a test suite as input and generates a ...