String Analysis for Dynamic Field Access

@inproceedings{Madsen2014StringAF,
  title={String Analysis for Dynamic Field Access},
  author={Magnus Madsen and Esben Andreasen},
  booktitle={CC},
  year={2014}
}
In JavaScript, and scripting languages in general, dynamic field access is a commonly used feature. Unfortunately, current static analysis tools either completely ignore dynamic field access or use overly conservative approximations that lead to poor precision and scalability. We present new string domains to reason about dynamic field access in a static analysis tool. A key feature of the domains is that the equal, concatenate and join operations take O(1) time. Experimental evaluation on four… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 18 references

Similar Papers

Loading similar papers…