Nurit Dor

Title: Innovator Spotlight: Nurit Dor

Introduction

Nurit Dor is a prominent inventor based in Rannana, Israel. She has made significant contributions to the field of software analysis through her innovative patent. Her work focuses on enhancing the efficiency and accuracy of value flow analysis in programming.

Latest Patents

Nurit Dor holds a patent titled "System and method for performing path-sensitive value flow analysis on a program." This patent describes a method and system that tracks concrete state and value alias information along each statement and relevant path in an abstract program. The system stores this information as a symbolic state in a symbolic store. The value alias information includes two sets of aliases: one for identifying aliases for a designated value being analyzed and another for possible aliases for that value. The method employs imprecise memory alias analysis to obtain this information. Transforms are applied to update the sets of aliases based on the type of statement being processed, and symbolic states are merged when the value alias information is identical.

Career Highlights

Nurit Dor is currently associated with Microsoft Technology Licensing, LLC, where she continues to innovate in the realm of software development and analysis. Her expertise in path-sensitive value flow analysis has positioned her as a valuable asset in her field.

Collaborations

Throughout her career, Nurit has collaborated with notable professionals, including Manuvir Das and Stephen Robert Adams. These collaborations have further enriched her work and contributed to advancements in software analysis.

Conclusion

Nurit Dor's contributions to the field of software analysis through her innovative patent demonstrate her expertise and commitment to advancing technology. Her work continues to influence the way value flow analysis is performed in programming, showcasing her role as a leading inventor in this domain.