2 citations · 2 across the 4 of their papers we have counts for
4 papers
Field-sensitive Data Flow Integrity
So Shizukuishi, Yoshitaka Arahori, Katsuhiko Gondow
Although numerous defenses against memory vulnerability exploits have been studied so far, highly-compatible, precise, and efficient defense is still an open problem. In fact, exis…
Path-sensitive Type Analysis with Backward Analysis for Quality Assurance of Dynamic Typed Language Code
Ryutaro Kodama, Yoshitaka Arahori, Kathuhiko Gondow
Precise and fast static type analysis for dynamically typed language is very difficult. This is mainly because the lack of static type information makes it difficult to approximate…
Improving Semantic Consistency of Variable Names with Use-Flow Graph Analysis
Yusuke Shinyama, Yoshitaka Arahori, Katsuhiko Gondow
Consistency is one of the keys to maintainable source code and hence a successful software project. We propose a novel method of extracting the intent of programmers from source co…
How Do Programmers Express High-Level Concepts using Primitive Data Types?
Yusuke Shinyama, Yoshitaka Arahori, Katsuhiko Gondow
We investigated how programmers express high-level concepts such as path names and coordinates using primitive data types. While relying too much on primitive data types is sometim…