Results 1 - 10 of 1,368

Flow-Sensitive Type Qualifiers

by Jeffrey S. Foster, Tachio Terauchi, Alex Aiken , 2002
"... We present a system for extending standard type systems with flow-sensitive type qualifiers. Users annotate their programs with type qualifiers, and inference checks that the annotations are correct. In our system only the type qualifiers are modeled flow-sensitively - the underlying standard types ..."
Abstract - Cited by 409 (28 self) - Add to MetaCart
We present a system for extending standard type systems with flow-sensitive type qualifiers. Users annotate their programs with type qualifiers, and inference checks that the annotations are correct. In our system only the type qualifiers are modeled flow-sensitively - the underlying standard types

Semantic Type Qualifiers

by Brian Chin, Shane Markstrum, Todd Millstein , 2005
"... We present a new approach for supporting user-defined type refinements, which augment existing types to specify and check additional invariants of interest to programmers. We provide an expressive language in which users define new refinements and associated type rules. These rules are automatically ..."
Abstract - Cited by 62 (8 self) - Add to MetaCart
for adding new type qualifiers to C programs. We have used this framework to define and automatically prove sound a host of type qualifiers of different sorts, including pos and neg for integers,tainted anduntainted for strings, andnonnull and unique for pointers, and we have applied our qualifiers to ensure

Type qualifier inference for Java

by David Greenfieldboyce, Jeffrey S. Foster - In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA , 2007
"... Java’s type system provides programmers with strong guarantees of type and memory safety, but there are many important properties not captured by standard Java types. We describe JQual, a tool that adds user-defined type qualifiers to Java, allowing programmers to quickly and easily incorporate extr ..."
Abstract - Cited by 34 (0 self) - Add to MetaCart
Java’s type system provides programmers with strong guarantees of type and memory safety, but there are many important properties not captured by standard Java types. We describe JQual, a tool that adds user-defined type qualifiers to Java, allowing programmers to quickly and easily incorporate

Type qualifiers for Java

by David Greenfieldboyce, Jeffrey S. Foster , 2007
"... We describe Jqual, a practical framework for type qualifier inference in Java. Jqual is implemented as an Eclipse plug-in that allows researchers to quickly develop and test modifications to the Java type system based on the flexible, lightweight and familiar mechanism of type qualifiers. We demonst ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
We describe Jqual, a practical framework for type qualifier inference in Java. Jqual is implemented as an Eclipse plug-in that allows researchers to quickly develop and test modifications to the Java type system based on the flexible, lightweight and familiar mechanism of type qualifiers. We

ABSTRACT Semantic Type Qualifiers

by Brian Chin, Shane Markstrum, Todd Millstein
"... We present a new approach for supporting user-defined type refinements, which augment existing types to statically ensure additional invariants of interest to programmers. We provide an expressive language in which users define explicit type rules for new refinements. These rules are automatically i ..."
Abstract - Add to MetaCart
and have instantiated it as a framework for adding new type qualifiers to C programs. We have used this framework to define and automatically prove sound a host of type qualifiers of different sorts, including nonnull, nonzero, untainted, andunique, and we have applied our qualifiers to ensure important

Detecting Format String Vulnerabilities with Type Qualifiers

by Umesh Shankar, Kunal Talwar, Jeffrey S. Foster, David Wagner , 2001
"... ..."
Abstract - Cited by 229 (13 self) - Add to MetaCart
Abstract not found

Visualizing Type Qualifier Inference with Eclipse

by David Greenfieldboyce, Jeffrey S. Foster , 2004
"... Type qualifiers are a lightweight, practical mechanism for specifying and checking program properties. In previous work, we have developed CQUAL, a tool for adding type qualifiers to C. In this short article, we describe an Eclipse plug-in for CQUAL that allows programmers to visualize the results o ..."
Abstract - Cited by 5 (2 self) - Add to MetaCart
Type qualifiers are a lightweight, practical mechanism for specifying and checking program properties. In previous work, we have developed CQUAL, a tool for adding type qualifiers to C. In this short article, we describe an Eclipse plug-in for CQUAL that allows programmers to visualize the results

Flow-Insensitive Type Qualifiers 1

by Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken
"... We describe flow-insensitive type qualifiers, a lightweight, practical mechanism for specifying and checking properties not captured by traditional type systems. We present a framework for adding new, user-specified type qualifiers to programming languages with static type systems, such as C and Jav ..."
Abstract - Add to MetaCart
We describe flow-insensitive type qualifiers, a lightweight, practical mechanism for specifying and checking properties not captured by traditional type systems. We present a framework for adding new, user-specified type qualifiers to programming languages with static type systems, such as C

Abstract Flow-Sensitive Type Qualifiers ∗

by Jeffrey S. Foster, Tachio Terauchi, Alex Aiken
"... We present a system for extending standard type systems with flow-sensitive type qualifiers. Users annotate their programs with type qualifiers, and inference checks that the annotations are correct. In our system only the type qualifiers are modeled flow-sensitively—the underlying standard types ar ..."
Abstract - Add to MetaCart
We present a system for extending standard type systems with flow-sensitive type qualifiers. Users annotate their programs with type qualifiers, and inference checks that the annotations are correct. In our system only the type qualifiers are modeled flow-sensitively—the underlying standard types

Inference of User-Defined Type Qualifiers and Qualifier Rules

by Brian Chin, Shane Markstrum, Todd Millstein, Jens Palsberg - IN PROC. ESOP , 2006
"... In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of interest. For each qualifier, users define a set of rules that are enforced during static typechecking of programs. Separately, these r ..."
Abstract - Cited by 22 (5 self) - Add to MetaCart
In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of interest. For each qualifier, users define a set of rules that are enforced during static typechecking of programs. Separately
Results 1 - 10 of 1,368