Search Sciweavers | Sciweavers

3238 search results - page 2 / 648

» Multi-return function call

click to vote

ICFP
2007
ACM

171views Programming Languages» more ICFP 2007»

Termination analysis and call graph construction for higher-order functional programs

14 years 7 months ago

Download metacomp.comlab.ox.ac.uk

The analysis and verification of higher-order programs raises the issue of control-flow analysis for higher-order languages. The problem of constructing an accurate call graph for...

Damien Sereni

claim paper

Read More »

click to vote

PLDI
2005
ACM

121views Programming Languages» more PLDI 2005»

Checking type safety of foreign function calls

14 years 1 months ago

Download www.cs.umd.edu

We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...

Michael Furr, Jeffrey S. Foster

claim paper

Read More »

click to vote

CCS
2007
ACM

128views Security Privacy» more CCS 2007»

The geometry of innocent flesh on the bone: return-into-libc without function calls (on the x86)

14 years 1 months ago

Download cseweb.ucsd.edu

sion of an extended abstract published in Proceedings of ACM CCS 2007, ACM Press, 2007. We present new techniques that allow a return-into-libc attack to be mounted on x86 executa...

Hovav Shacham

claim paper

Read More »

click to vote

ICFP
2009
ACM

140views Programming Languages» more ICFP 2009»

Control-flow analysis of function calls and returns by abstract interpretation

14 years 2 months ago