| Open Document File Size: 214,10 KBShare Result on Facebook
Company K INT / Microsoft / / Event Product Issues / FDA Phase / / Facility ×u +u ×u +u +s ×u ×u Arch / / IndustryTerm malformed file systems / expected mathematical product / iterative algorithm / indirect call site / static analysis tool / Verification tools / file systems / software systems / audio device / symbolic execution tools / large systems / lighttpd web server / static analysis tools / perf tools / / OperatingSystem Linux / DoS / / Organization MIT / Stanford / / Person Wang Haogang Chen Zhihao Jia / Andrew Morton / Chen Zhihao Jia† Nickolai / / / Position naïve programmer / Linux AGP driver / OLPC secondary display controller driver / programmer / / Product NaN / CVE-2008-3526 / checks / / ProgrammingLanguage C / Python / Haskell / Ada / Ruby / / PublishedMedium the C / / Technology unix / Linux / API / cmp / iterative algorithm / iscsi / web server / scsi / network protocols / /
SocialTag |
Improving Integer Security for Systems with K INT∗ Xi Wang Haogang Chen Zhihao Jia† Nickolai Zeldovich M. Frans Kaashoek MIT CSAIL † Tsinghua IIIS off_t j, pg_start = /* from user space */; size_t i, page_count = .