A new 277k-binary data-flow benchmark shows existing static analyzers are inaccurate, and three angr extensions raise recall from 0.39 to 0.99 and precision from 0.13 to 0.32.
General formula to design a freeform singlet free of spherical aberration and astigmatism : Comment
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
In their article -Appl. Opt. 58, 1010_1015 (2019)- Gonz\'alez-Acu\~na et al claimed:"an analytical closed-form formula for the design of freeform lenses free of spherical aberration and astigmatism." However, as we show here, their formula can only be applied when the object and image are both real and the image is inversed, additionally, the refractive index in the object and image media is the same. Here, we present the complete solution of this particular formula.
fields
cs.CR 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables
A new 277k-binary data-flow benchmark shows existing static analyzers are inaccurate, and three angr extensions raise recall from 0.39 to 0.99 and precision from 0.13 to 0.32.