Searching for authors named "Nurit Dor" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
To Noa. iiiiv Abstract Automatic Verification of Program Cleanness
- … Science AUTOMATIC VERIFICATION OF PROGRAM CLEANNESS by Nurit Dor under the supervision of Dr. Mooly…
- Add To MetaCart
-
Cleanness Checking of Strings in C Programs
- …Cleanness Checking of Strings in C Programs Nurit Dor Tel-Aviv University Fax +972-3-640-6761 nurr…
- Add To MetaCart
-
Checking Cleanness in Linked Lists
- …Checking Cleanness in Linked Lists Nurit Dor 1? , Michael Rodeh 2 , and Mooly Sagiv 1 1…
- Cited by 31 (8 self) – Add To MetaCart
-
CSSV: Towards a Realistic Tool for Statically Detecting All Buffer Overflows In C
- …CSSV: Towards a Realistic Tool for Statically Detecting All Buffer Overflows in C Nurit Dor Tel…
- Cited by 76 (2 self) – Add To MetaCart
-
Cleanness checking of string manipulations in C programs via integer analysis
- … Cleanness Checking of String Manipulations in C Programs via Integer Analysis Nurit Dor 1…
- Cited by 37 (1 self) – Add To MetaCart
-
Detecting Memory Errors via Static Pointer Analysis
- …Detecting Memory Errors via Static Pointer Analysis by Nurit Dor M.Sc. Thesis School of Computer…
- Cited by 8 (2 self) – Add To MetaCart
-
Effective typestate verification in the presence of aliasing
- …Effective Typestate Verification in the Presence of Aliasing Stephen Fink∗ Eran Yahav ∗ Nurit Dor…
- Cited by 28 (2 self) – Add To MetaCart
-
Numeric Domains with Summarized Dimensions
- …Numeric Domains with Summarized Dimensions Denis Gopan 1 , Frank DiMaio 1 , Nurit Dor 2…
- Cited by 24 (8 self) – Add To MetaCart
Showing 1 through 8.
