svf-tools 1.0.549 → 1.0.552

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (70) hide show
  1. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +38 -41
  2. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +70 -81
  3. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +2 -4
  4. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +9 -10
  5. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +7 -7
  6. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +28 -28
  7. package/SVF-doxygen/html/html/VersionedFlowSensitive_8h_source.html +27 -27
  8. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +24 -36
  9. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +141 -224
  10. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI_1_1Operation-members.html +8 -7
  11. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI_1_1Operation.html +81 -56
  12. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +1 -1
  13. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +60 -76
  14. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +84 -82
  15. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive_1_1SCC.html +8 -8
  16. package/SVF-doxygen/html/html/functions_a.html +6 -9
  17. package/SVF-doxygen/html/html/functions_c.html +2 -2
  18. package/SVF-doxygen/html/html/functions_e.html +2 -35
  19. package/SVF-doxygen/html/html/functions_enum.html +0 -3
  20. package/SVF-doxygen/html/html/functions_eval_e.html +0 -30
  21. package/SVF-doxygen/html/html/functions_f.html +3 -3
  22. package/SVF-doxygen/html/html/functions_func_g.html +20 -17
  23. package/SVF-doxygen/html/html/functions_func_o.html +1 -1
  24. package/SVF-doxygen/html/html/functions_func_p.html +3 -3
  25. package/SVF-doxygen/html/html/functions_func_s.html +10 -13
  26. package/SVF-doxygen/html/html/functions_g.html +21 -18
  27. package/SVF-doxygen/html/html/functions_i.html +6 -6
  28. package/SVF-doxygen/html/html/functions_l.html +3 -3
  29. package/SVF-doxygen/html/html/functions_o.html +20 -17
  30. package/SVF-doxygen/html/html/functions_p.html +12 -14
  31. package/SVF-doxygen/html/html/functions_r.html +7 -5
  32. package/SVF-doxygen/html/html/functions_s.html +22 -23
  33. package/SVF-doxygen/html/html/functions_t.html +7 -5
  34. package/SVF-doxygen/html/html/functions_v.html +6 -6
  35. package/SVF-doxygen/html/html/functions_vars_a.html +0 -3
  36. package/SVF-doxygen/html/html/functions_vars_o.html +7 -4
  37. package/SVF-doxygen/html/html/search/all_1.js +0 -1
  38. package/SVF-doxygen/html/html/search/all_10.js +10 -10
  39. package/SVF-doxygen/html/html/search/all_11.js +2 -2
  40. package/SVF-doxygen/html/html/search/all_12.js +7 -8
  41. package/SVF-doxygen/html/html/search/all_13.js +2 -2
  42. package/SVF-doxygen/html/html/search/all_14.js +1 -1
  43. package/SVF-doxygen/html/html/search/all_15.js +3 -3
  44. package/SVF-doxygen/html/html/search/all_16.js +1 -1
  45. package/SVF-doxygen/html/html/search/all_3.js +1 -1
  46. package/SVF-doxygen/html/html/search/all_5.js +0 -11
  47. package/SVF-doxygen/html/html/search/all_6.js +1 -1
  48. package/SVF-doxygen/html/html/search/all_7.js +5 -4
  49. package/SVF-doxygen/html/html/search/all_9.js +2 -2
  50. package/SVF-doxygen/html/html/search/all_c.js +3 -3
  51. package/SVF-doxygen/html/html/search/all_e.js +4 -4
  52. package/SVF-doxygen/html/html/search/all_f.js +6 -4
  53. package/SVF-doxygen/html/html/search/enums_3.js +0 -1
  54. package/SVF-doxygen/html/html/search/enumvalues_4.js +1 -11
  55. package/SVF-doxygen/html/html/search/functions_11.js +1 -2
  56. package/SVF-doxygen/html/html/search/functions_6.js +5 -4
  57. package/SVF-doxygen/html/html/search/functions_e.js +1 -1
  58. package/SVF-doxygen/html/html/search/functions_f.js +2 -2
  59. package/SVF-doxygen/html/html/search/variables_1.js +0 -1
  60. package/SVF-doxygen/html/html/search/variables_13.js +1 -1
  61. package/SVF-doxygen/html/html/search/variables_14.js +1 -1
  62. package/SVF-doxygen/html/html/search/variables_e.js +3 -3
  63. package/SVF-doxygen/html/html/search/variables_f.js +3 -2
  64. package/include/SVF-FE/SVFIRBuilder.h +1 -1
  65. package/include/Util/ExtAPI.h +17 -42
  66. package/include/Util/ExtAPI.json +1013 -989
  67. package/lib/SVF-FE/SVFIRBuilder.cpp +122 -222
  68. package/lib/Util/ExtAPI.cpp +53 -68
  69. package/lib/WPA/VersionedFlowSensitive.cpp +41 -15
  70. package/package.json +1 -1
@@ -1562,1705 +1562,1705 @@
1562
1562
  "_fopen": {
1563
1563
  "type": "EFT_ALLOC",
1564
1564
  "overwrite_app_function": 1,
1565
- "addr": {
1566
- "src": "L",
1567
- "dst": "L"
1565
+ "AddrStmt": {
1566
+ "src": "Obj",
1567
+ "dst": "Ret"
1568
1568
  }
1569
1569
  },
1570
1570
  "fopen64": {
1571
1571
  "type": "EFT_ALLOC",
1572
1572
  "overwrite_app_function": 1,
1573
- "addr": {
1574
- "src": "L",
1575
- "dst": "L"
1573
+ "AddrStmt": {
1574
+ "src": "Obj",
1575
+ "dst": "Ret"
1576
1576
  }
1577
1577
  },
1578
1578
  "readdir64": {
1579
1579
  "type": "EFT_ALLOC",
1580
1580
  "overwrite_app_function": 1,
1581
- "addr": {
1582
- "src": "L",
1583
- "dst": "L"
1581
+ "AddrStmt": {
1582
+ "src": "Obj",
1583
+ "dst": "Ret"
1584
1584
  }
1585
1585
  },
1586
1586
  "tmpfile64": {
1587
1587
  "type": "EFT_ALLOC",
1588
1588
  "overwrite_app_function": 1,
1589
- "addr": {
1590
- "src": "L",
1591
- "dst": "L"
1589
+ "AddrStmt": {
1590
+ "src": "Obj",
1591
+ "dst": "Ret"
1592
1592
  }
1593
1593
  },
1594
1594
  "BIO_new_socket": {
1595
1595
  "type": "EFT_ALLOC",
1596
1596
  "overwrite_app_function": 1,
1597
- "addr": {
1598
- "src": "L",
1599
- "dst": "L"
1597
+ "AddrStmt": {
1598
+ "src": "Obj",
1599
+ "dst": "Ret"
1600
1600
  }
1601
1601
  },
1602
1602
  "FT_Get_Sfnt_Table": {
1603
1603
  "type": "EFT_ALLOC",
1604
1604
  "overwrite_app_function": 1,
1605
- "addr": {
1606
- "src": "L",
1607
- "dst": "L"
1605
+ "AddrStmt": {
1606
+ "src": "Obj",
1607
+ "dst": "Ret"
1608
1608
  }
1609
1609
  },
1610
1610
  "FcFontList": {
1611
1611
  "type": "EFT_ALLOC",
1612
1612
  "overwrite_app_function": 1,
1613
- "addr": {
1614
- "src": "L",
1615
- "dst": "L"
1613
+ "AddrStmt": {
1614
+ "src": "Obj",
1615
+ "dst": "Ret"
1616
1616
  }
1617
1617
  },
1618
1618
  "FcFontMatch": {
1619
1619
  "type": "EFT_ALLOC",
1620
1620
  "overwrite_app_function": 1,
1621
- "addr": {
1622
- "src": "L",
1623
- "dst": "L"
1621
+ "AddrStmt": {
1622
+ "src": "Obj",
1623
+ "dst": "Ret"
1624
1624
  }
1625
1625
  },
1626
1626
  "FcFontRenderPrepare": {
1627
1627
  "type": "EFT_ALLOC",
1628
1628
  "overwrite_app_function": 1,
1629
- "addr": {
1630
- "src": "L",
1631
- "dst": "L"
1629
+ "AddrStmt": {
1630
+ "src": "Obj",
1631
+ "dst": "Ret"
1632
1632
  }
1633
1633
  },
1634
1634
  "FcFontSetCreate": {
1635
1635
  "type": "EFT_ALLOC",
1636
1636
  "overwrite_app_function": 1,
1637
- "addr": {
1638
- "src": "L",
1639
- "dst": "L"
1637
+ "AddrStmt": {
1638
+ "src": "Obj",
1639
+ "dst": "Ret"
1640
1640
  }
1641
1641
  },
1642
1642
  "FcFontSort": {
1643
1643
  "type": "EFT_ALLOC",
1644
1644
  "overwrite_app_function": 1,
1645
- "addr": {
1646
- "src": "L",
1647
- "dst": "L"
1645
+ "AddrStmt": {
1646
+ "src": "Obj",
1647
+ "dst": "Ret"
1648
1648
  }
1649
1649
  },
1650
1650
  "FcInitLoadConfig": {
1651
1651
  "type": "EFT_ALLOC",
1652
1652
  "overwrite_app_function": 1,
1653
- "addr": {
1654
- "src": "L",
1655
- "dst": "L"
1653
+ "AddrStmt": {
1654
+ "src": "Obj",
1655
+ "dst": "Ret"
1656
1656
  }
1657
1657
  },
1658
1658
  "FcObjectSetBuild": {
1659
1659
  "type": "EFT_ALLOC",
1660
1660
  "overwrite_app_function": 1,
1661
- "addr": {
1662
- "src": "L",
1663
- "dst": "L"
1661
+ "AddrStmt": {
1662
+ "src": "Obj",
1663
+ "dst": "Ret"
1664
1664
  }
1665
1665
  },
1666
1666
  "FcObjectSetCreate": {
1667
1667
  "type": "EFT_ALLOC",
1668
1668
  "overwrite_app_function": 1,
1669
- "addr": {
1670
- "src": "L",
1671
- "dst": "L"
1669
+ "AddrStmt": {
1670
+ "src": "Obj",
1671
+ "dst": "Ret"
1672
1672
  }
1673
1673
  },
1674
1674
  "FcPatternBuild": {
1675
1675
  "type": "EFT_ALLOC",
1676
1676
  "overwrite_app_function": 1,
1677
- "addr": {
1678
- "src": "L",
1679
- "dst": "L"
1677
+ "AddrStmt": {
1678
+ "src": "Obj",
1679
+ "dst": "Ret"
1680
1680
  }
1681
1681
  },
1682
1682
  "FcPatternCreate": {
1683
1683
  "type": "EFT_ALLOC",
1684
1684
  "overwrite_app_function": 1,
1685
- "addr": {
1686
- "src": "L",
1687
- "dst": "L"
1685
+ "AddrStmt": {
1686
+ "src": "Obj",
1687
+ "dst": "Ret"
1688
1688
  }
1689
1689
  },
1690
1690
  "FcPatternDuplicate": {
1691
1691
  "type": "EFT_ALLOC",
1692
1692
  "overwrite_app_function": 1,
1693
- "addr": {
1694
- "src": "L",
1695
- "dst": "L"
1693
+ "AddrStmt": {
1694
+ "src": "Obj",
1695
+ "dst": "Ret"
1696
1696
  }
1697
1697
  },
1698
1698
  "SSL_CTX_new": {
1699
1699
  "type": "EFT_ALLOC",
1700
1700
  "overwrite_app_function": 1,
1701
- "addr": {
1702
- "src": "L",
1703
- "dst": "L"
1701
+ "AddrStmt": {
1702
+ "src": "Obj",
1703
+ "dst": "Ret"
1704
1704
  }
1705
1705
  },
1706
1706
  "SSL_get_peer_certificate": {
1707
1707
  "type": "EFT_ALLOC",
1708
1708
  "overwrite_app_function": 1,
1709
- "addr": {
1710
- "src": "L",
1711
- "dst": "L"
1709
+ "AddrStmt": {
1710
+ "src": "Obj",
1711
+ "dst": "Ret"
1712
1712
  }
1713
1713
  },
1714
1714
  "SSL_new": {
1715
1715
  "type": "EFT_ALLOC",
1716
1716
  "overwrite_app_function": 1,
1717
- "addr": {
1718
- "src": "L",
1719
- "dst": "L"
1717
+ "AddrStmt": {
1718
+ "src": "Obj",
1719
+ "dst": "Ret"
1720
1720
  }
1721
1721
  },
1722
1722
  "SSLv23_client_method": {
1723
1723
  "type": "EFT_ALLOC",
1724
1724
  "overwrite_app_function": 1,
1725
- "addr": {
1726
- "src": "L",
1727
- "dst": "L"
1725
+ "AddrStmt": {
1726
+ "src": "Obj",
1727
+ "dst": "Ret"
1728
1728
  }
1729
1729
  },
1730
1730
  "SyGetmem": {
1731
1731
  "type": "EFT_ALLOC",
1732
1732
  "overwrite_app_function": 1,
1733
- "addr": {
1734
- "src": "L",
1735
- "dst": "L"
1733
+ "AddrStmt": {
1734
+ "src": "Obj",
1735
+ "dst": "Ret"
1736
1736
  }
1737
1737
  },
1738
1738
  "TLSv1_client_method": {
1739
1739
  "type": "EFT_ALLOC",
1740
1740
  "overwrite_app_function": 1,
1741
- "addr": {
1742
- "src": "L",
1743
- "dst": "L"
1741
+ "AddrStmt": {
1742
+ "src": "Obj",
1743
+ "dst": "Ret"
1744
1744
  }
1745
1745
  },
1746
1746
  "XAddExtension": {
1747
1747
  "type": "EFT_ALLOC",
1748
1748
  "overwrite_app_function": 1,
1749
- "addr": {
1750
- "src": "L",
1751
- "dst": "L"
1749
+ "AddrStmt": {
1750
+ "src": "Obj",
1751
+ "dst": "Ret"
1752
1752
  }
1753
1753
  },
1754
1754
  "XAllocClassHint": {
1755
1755
  "type": "EFT_ALLOC",
1756
1756
  "overwrite_app_function": 1,
1757
- "addr": {
1758
- "src": "L",
1759
- "dst": "L"
1757
+ "AddrStmt": {
1758
+ "src": "Obj",
1759
+ "dst": "Ret"
1760
1760
  }
1761
1761
  },
1762
1762
  "XAllocSizeHints": {
1763
1763
  "type": "EFT_ALLOC",
1764
1764
  "overwrite_app_function": 1,
1765
- "addr": {
1766
- "src": "L",
1767
- "dst": "L"
1765
+ "AddrStmt": {
1766
+ "src": "Obj",
1767
+ "dst": "Ret"
1768
1768
  }
1769
1769
  },
1770
1770
  "XAllocStandardColormap": {
1771
1771
  "type": "EFT_ALLOC",
1772
1772
  "overwrite_app_function": 1,
1773
- "addr": {
1774
- "src": "L",
1775
- "dst": "L"
1773
+ "AddrStmt": {
1774
+ "src": "Obj",
1775
+ "dst": "Ret"
1776
1776
  }
1777
1777
  },
1778
1778
  "XCreateFontSet": {
1779
1779
  "type": "EFT_ALLOC",
1780
1780
  "overwrite_app_function": 1,
1781
- "addr": {
1782
- "src": "L",
1783
- "dst": "L"
1781
+ "AddrStmt": {
1782
+ "src": "Obj",
1783
+ "dst": "Ret"
1784
1784
  }
1785
1785
  },
1786
1786
  "XCreateImage": {
1787
1787
  "type": "EFT_ALLOC",
1788
1788
  "overwrite_app_function": 1,
1789
- "addr": {
1790
- "src": "L",
1791
- "dst": "L"
1789
+ "AddrStmt": {
1790
+ "src": "Obj",
1791
+ "dst": "Ret"
1792
1792
  }
1793
1793
  },
1794
1794
  "XCreateGC": {
1795
1795
  "type": "EFT_ALLOC",
1796
1796
  "overwrite_app_function": 1,
1797
- "addr": {
1798
- "src": "L",
1799
- "dst": "L"
1797
+ "AddrStmt": {
1798
+ "src": "Obj",
1799
+ "dst": "Ret"
1800
1800
  }
1801
1801
  },
1802
1802
  "XESetCloseDisplay": {
1803
1803
  "type": "EFT_ALLOC",
1804
1804
  "overwrite_app_function": 1,
1805
- "addr": {
1806
- "src": "L",
1807
- "dst": "L"
1805
+ "AddrStmt": {
1806
+ "src": "Obj",
1807
+ "dst": "Ret"
1808
1808
  }
1809
1809
  },
1810
1810
  "XGetImage": {
1811
1811
  "type": "EFT_ALLOC",
1812
1812
  "overwrite_app_function": 1,
1813
- "addr": {
1814
- "src": "L",
1815
- "dst": "L"
1813
+ "AddrStmt": {
1814
+ "src": "Obj",
1815
+ "dst": "Ret"
1816
1816
  }
1817
1817
  },
1818
1818
  "XGetModifierMapping": {
1819
1819
  "type": "EFT_ALLOC",
1820
1820
  "overwrite_app_function": 1,
1821
- "addr": {
1822
- "src": "L",
1823
- "dst": "L"
1821
+ "AddrStmt": {
1822
+ "src": "Obj",
1823
+ "dst": "Ret"
1824
1824
  }
1825
1825
  },
1826
1826
  "XGetMotionEvents": {
1827
1827
  "type": "EFT_ALLOC",
1828
1828
  "overwrite_app_function": 1,
1829
- "addr": {
1830
- "src": "L",
1831
- "dst": "L"
1829
+ "AddrStmt": {
1830
+ "src": "Obj",
1831
+ "dst": "Ret"
1832
1832
  }
1833
1833
  },
1834
1834
  "XGetVisualInfo": {
1835
1835
  "type": "EFT_ALLOC",
1836
1836
  "overwrite_app_function": 1,
1837
- "addr": {
1838
- "src": "L",
1839
- "dst": "L"
1837
+ "AddrStmt": {
1838
+ "src": "Obj",
1839
+ "dst": "Ret"
1840
1840
  }
1841
1841
  },
1842
1842
  "XLoadQueryFont": {
1843
1843
  "type": "EFT_ALLOC",
1844
1844
  "overwrite_app_function": 1,
1845
- "addr": {
1846
- "src": "L",
1847
- "dst": "L"
1845
+ "AddrStmt": {
1846
+ "src": "Obj",
1847
+ "dst": "Ret"
1848
1848
  }
1849
1849
  },
1850
1850
  "XListPixmapFormats": {
1851
1851
  "type": "EFT_ALLOC",
1852
1852
  "overwrite_app_function": 1,
1853
- "addr": {
1854
- "src": "L",
1855
- "dst": "L"
1853
+ "AddrStmt": {
1854
+ "src": "Obj",
1855
+ "dst": "Ret"
1856
1856
  }
1857
1857
  },
1858
1858
  "XRenderFindFormat": {
1859
1859
  "type": "EFT_ALLOC",
1860
1860
  "overwrite_app_function": 1,
1861
- "addr": {
1862
- "src": "L",
1863
- "dst": "L"
1861
+ "AddrStmt": {
1862
+ "src": "Obj",
1863
+ "dst": "Ret"
1864
1864
  }
1865
1865
  },
1866
1866
  "XRenderFindStandardFormat": {
1867
1867
  "type": "EFT_ALLOC",
1868
1868
  "overwrite_app_function": 1,
1869
- "addr": {
1870
- "src": "L",
1871
- "dst": "L"
1869
+ "AddrStmt": {
1870
+ "src": "Obj",
1871
+ "dst": "Ret"
1872
1872
  }
1873
1873
  },
1874
1874
  "XRenderFindVisualFormat": {
1875
1875
  "type": "EFT_ALLOC",
1876
1876
  "overwrite_app_function": 1,
1877
- "addr": {
1878
- "src": "L",
1879
- "dst": "L"
1877
+ "AddrStmt": {
1878
+ "src": "Obj",
1879
+ "dst": "Ret"
1880
1880
  }
1881
1881
  },
1882
1882
  "XOpenDisplay": {
1883
1883
  "type": "EFT_ALLOC",
1884
1884
  "overwrite_app_function": 1,
1885
- "addr": {
1886
- "src": "L",
1887
- "dst": "L"
1885
+ "AddrStmt": {
1886
+ "src": "Obj",
1887
+ "dst": "Ret"
1888
1888
  }
1889
1889
  },
1890
1890
  "XSetErrorHandler": {
1891
1891
  "type": "EFT_ALLOC",
1892
1892
  "overwrite_app_function": 1,
1893
- "addr": {
1894
- "src": "L",
1895
- "dst": "L"
1893
+ "AddrStmt": {
1894
+ "src": "Obj",
1895
+ "dst": "Ret"
1896
1896
  }
1897
1897
  },
1898
1898
  "XSetIOErrorHandler": {
1899
1899
  "type": "EFT_ALLOC",
1900
1900
  "overwrite_app_function": 1,
1901
- "addr": {
1902
- "src": "L",
1903
- "dst": "L"
1901
+ "AddrStmt": {
1902
+ "src": "Obj",
1903
+ "dst": "Ret"
1904
1904
  }
1905
1905
  },
1906
1906
  "XShapeGetRectangles": {
1907
1907
  "type": "EFT_ALLOC",
1908
1908
  "overwrite_app_function": 1,
1909
- "addr": {
1910
- "src": "L",
1911
- "dst": "L"
1909
+ "AddrStmt": {
1910
+ "src": "Obj",
1911
+ "dst": "Ret"
1912
1912
  }
1913
1913
  },
1914
1914
  "XShmCreateImage": {
1915
1915
  "type": "EFT_ALLOC",
1916
1916
  "overwrite_app_function": 1,
1917
- "addr": {
1918
- "src": "L",
1919
- "dst": "L"
1917
+ "AddrStmt": {
1918
+ "src": "Obj",
1919
+ "dst": "Ret"
1920
1920
  }
1921
1921
  },
1922
1922
  "XSynchronize": {
1923
1923
  "type": "EFT_ALLOC",
1924
1924
  "overwrite_app_function": 1,
1925
- "addr": {
1926
- "src": "L",
1927
- "dst": "L"
1925
+ "AddrStmt": {
1926
+ "src": "Obj",
1927
+ "dst": "Ret"
1928
1928
  }
1929
1929
  },
1930
1930
  "XcursorImageCreate": {
1931
1931
  "type": "EFT_ALLOC",
1932
1932
  "overwrite_app_function": 1,
1933
- "addr": {
1934
- "src": "L",
1935
- "dst": "L"
1933
+ "AddrStmt": {
1934
+ "src": "Obj",
1935
+ "dst": "Ret"
1936
1936
  }
1937
1937
  },
1938
1938
  "XcursorLibraryLoadImages": {
1939
1939
  "type": "EFT_ALLOC",
1940
1940
  "overwrite_app_function": 1,
1941
- "addr": {
1942
- "src": "L",
1943
- "dst": "L"
1941
+ "AddrStmt": {
1942
+ "src": "Obj",
1943
+ "dst": "Ret"
1944
1944
  }
1945
1945
  },
1946
1946
  "XcursorShapeLoadImages": {
1947
1947
  "type": "EFT_ALLOC",
1948
1948
  "overwrite_app_function": 1,
1949
- "addr": {
1950
- "src": "L",
1951
- "dst": "L"
1949
+ "AddrStmt": {
1950
+ "src": "Obj",
1951
+ "dst": "Ret"
1952
1952
  }
1953
1953
  },
1954
1954
  "XineramaQueryScreens": {
1955
1955
  "type": "EFT_ALLOC",
1956
1956
  "overwrite_app_function": 1,
1957
- "addr": {
1958
- "src": "L",
1959
- "dst": "L"
1957
+ "AddrStmt": {
1958
+ "src": "Obj",
1959
+ "dst": "Ret"
1960
1960
  }
1961
1961
  },
1962
1962
  "XkbGetMap": {
1963
1963
  "type": "EFT_ALLOC",
1964
1964
  "overwrite_app_function": 1,
1965
- "addr": {
1966
- "src": "L",
1967
- "dst": "L"
1965
+ "AddrStmt": {
1966
+ "src": "Obj",
1967
+ "dst": "Ret"
1968
1968
  }
1969
1969
  },
1970
1970
  "XtAppCreateShell": {
1971
1971
  "type": "EFT_ALLOC",
1972
1972
  "overwrite_app_function": 1,
1973
- "addr": {
1974
- "src": "L",
1975
- "dst": "L"
1973
+ "AddrStmt": {
1974
+ "src": "Obj",
1975
+ "dst": "Ret"
1976
1976
  }
1977
1977
  },
1978
1978
  "XtCreateApplicationContext": {
1979
1979
  "type": "EFT_ALLOC",
1980
1980
  "overwrite_app_function": 1,
1981
- "addr": {
1982
- "src": "L",
1983
- "dst": "L"
1981
+ "AddrStmt": {
1982
+ "src": "Obj",
1983
+ "dst": "Ret"
1984
1984
  }
1985
1985
  },
1986
1986
  "XtOpenDisplay": {
1987
1987
  "type": "EFT_ALLOC",
1988
1988
  "overwrite_app_function": 1,
1989
- "addr": {
1990
- "src": "L",
1991
- "dst": "L"
1989
+ "AddrStmt": {
1990
+ "src": "Obj",
1991
+ "dst": "Ret"
1992
1992
  }
1993
1993
  },
1994
1994
  "alloc": {
1995
1995
  "type": "EFT_ALLOC",
1996
1996
  "overwrite_app_function": 1,
1997
- "addr": {
1998
- "src": "L",
1999
- "dst": "L"
1997
+ "AddrStmt": {
1998
+ "src": "Obj",
1999
+ "dst": "Ret"
2000
2000
  }
2001
2001
  },
2002
2002
  "alloc_check": {
2003
2003
  "type": "EFT_ALLOC",
2004
2004
  "overwrite_app_function": 1,
2005
- "addr": {
2006
- "src": "L",
2007
- "dst": "L"
2005
+ "AddrStmt": {
2006
+ "src": "Obj",
2007
+ "dst": "Ret"
2008
2008
  }
2009
2009
  },
2010
2010
  "alloc_clear": {
2011
2011
  "type": "EFT_ALLOC",
2012
2012
  "overwrite_app_function": 1,
2013
- "addr": {
2014
- "src": "L",
2015
- "dst": "L"
2013
+ "AddrStmt": {
2014
+ "src": "Obj",
2015
+ "dst": "Ret"
2016
2016
  }
2017
2017
  },
2018
2018
  "art_svp_from_vpath": {
2019
2019
  "type": "EFT_ALLOC",
2020
2020
  "overwrite_app_function": 1,
2021
- "addr": {
2022
- "src": "L",
2023
- "dst": "L"
2021
+ "AddrStmt": {
2022
+ "src": "Obj",
2023
+ "dst": "Ret"
2024
2024
  }
2025
2025
  },
2026
2026
  "art_svp_vpath_stroke": {
2027
2027
  "type": "EFT_ALLOC",
2028
2028
  "overwrite_app_function": 1,
2029
- "addr": {
2030
- "src": "L",
2031
- "dst": "L"
2029
+ "AddrStmt": {
2030
+ "src": "Obj",
2031
+ "dst": "Ret"
2032
2032
  }
2033
2033
  },
2034
2034
  "art_svp_writer_rewind_new": {
2035
2035
  "type": "EFT_ALLOC",
2036
2036
  "overwrite_app_function": 1,
2037
- "addr": {
2038
- "src": "L",
2039
- "dst": "L"
2037
+ "AddrStmt": {
2038
+ "src": "Obj",
2039
+ "dst": "Ret"
2040
2040
  }
2041
2041
  },
2042
2042
  "art_svp_writer_rewind_reap": {
2043
2043
  "type": "EFT_ALLOC",
2044
2044
  "overwrite_app_function": 1,
2045
- "addr": {
2046
- "src": "L",
2047
- "dst": "L"
2045
+ "AddrStmt": {
2046
+ "src": "Obj",
2047
+ "dst": "Ret"
2048
2048
  }
2049
2049
  },
2050
2050
  "art_vpath_dash": {
2051
2051
  "type": "EFT_ALLOC",
2052
2052
  "overwrite_app_function": 1,
2053
- "addr": {
2054
- "src": "L",
2055
- "dst": "L"
2053
+ "AddrStmt": {
2054
+ "src": "Obj",
2055
+ "dst": "Ret"
2056
2056
  }
2057
2057
  },
2058
2058
  "cairo_create": {
2059
2059
  "type": "EFT_ALLOC",
2060
2060
  "overwrite_app_function": 1,
2061
- "addr": {
2062
- "src": "L",
2063
- "dst": "L"
2061
+ "AddrStmt": {
2062
+ "src": "Obj",
2063
+ "dst": "Ret"
2064
2064
  }
2065
2065
  },
2066
2066
  "cairo_image_surface_create_for_data": {
2067
2067
  "type": "EFT_ALLOC",
2068
2068
  "overwrite_app_function": 1,
2069
- "addr": {
2070
- "src": "L",
2071
- "dst": "L"
2069
+ "AddrStmt": {
2070
+ "src": "Obj",
2071
+ "dst": "Ret"
2072
2072
  }
2073
2073
  },
2074
2074
  "cairo_pattern_create_for_surface": {
2075
2075
  "type": "EFT_ALLOC",
2076
2076
  "overwrite_app_function": 1,
2077
- "addr": {
2078
- "src": "L",
2079
- "dst": "L"
2077
+ "AddrStmt": {
2078
+ "src": "Obj",
2079
+ "dst": "Ret"
2080
2080
  }
2081
2081
  },
2082
2082
  "cairo_surface_create_similar": {
2083
2083
  "type": "EFT_ALLOC",
2084
2084
  "overwrite_app_function": 1,
2085
- "addr": {
2086
- "src": "L",
2087
- "dst": "L"
2085
+ "AddrStmt": {
2086
+ "src": "Obj",
2087
+ "dst": "Ret"
2088
2088
  }
2089
2089
  },
2090
2090
  "calloc": {
2091
2091
  "type": "EFT_ALLOC",
2092
2092
  "overwrite_app_function": 1,
2093
- "addr": {
2094
- "src": "L",
2095
- "dst": "L"
2093
+ "AddrStmt": {
2094
+ "src": "Obj",
2095
+ "dst": "Ret"
2096
2096
  }
2097
2097
  },
2098
2098
  "zmalloc": {
2099
2099
  "type": "EFT_ALLOC",
2100
2100
  "overwrite_app_function": 1,
2101
- "addr": {
2102
- "src": "L",
2103
- "dst": "L"
2101
+ "AddrStmt": {
2102
+ "src": "Obj",
2103
+ "dst": "Ret"
2104
2104
  }
2105
2105
  },
2106
2106
  "fopen": {
2107
2107
  "type": "EFT_ALLOC",
2108
2108
  "overwrite_app_function": 1,
2109
- "addr": {
2110
- "src": "L",
2111
- "dst": "L"
2109
+ "AddrStmt": {
2110
+ "src": "Obj",
2111
+ "dst": "Ret"
2112
2112
  }
2113
2113
  },
2114
2114
  "fopencookie": {
2115
2115
  "type": "EFT_ALLOC",
2116
2116
  "overwrite_app_function": 1,
2117
- "addr": {
2118
- "src": "L",
2119
- "dst": "L"
2117
+ "AddrStmt": {
2118
+ "src": "Obj",
2119
+ "dst": "Ret"
2120
2120
  }
2121
2121
  },
2122
2122
  "g_scanner_new": {
2123
2123
  "type": "EFT_ALLOC",
2124
2124
  "overwrite_app_function": 1,
2125
- "addr": {
2126
- "src": "L",
2127
- "dst": "L"
2125
+ "AddrStmt": {
2126
+ "src": "Obj",
2127
+ "dst": "Ret"
2128
2128
  }
2129
2129
  },
2130
2130
  "gcry_sexp_nth_mpi": {
2131
2131
  "type": "EFT_ALLOC",
2132
2132
  "overwrite_app_function": 1,
2133
- "addr": {
2134
- "src": "L",
2135
- "dst": "L"
2133
+ "AddrStmt": {
2134
+ "src": "Obj",
2135
+ "dst": "Ret"
2136
2136
  }
2137
2137
  },
2138
2138
  "gzdopen": {
2139
2139
  "type": "EFT_ALLOC",
2140
2140
  "overwrite_app_function": 1,
2141
- "addr": {
2142
- "src": "L",
2143
- "dst": "L"
2141
+ "AddrStmt": {
2142
+ "src": "Obj",
2143
+ "dst": "Ret"
2144
2144
  }
2145
2145
  },
2146
2146
  "iconv_open": {
2147
2147
  "type": "EFT_ALLOC",
2148
2148
  "overwrite_app_function": 1,
2149
- "addr": {
2150
- "src": "L",
2151
- "dst": "L"
2149
+ "AddrStmt": {
2150
+ "src": "Obj",
2151
+ "dst": "Ret"
2152
2152
  }
2153
2153
  },
2154
2154
  "jpeg_alloc_huff_table": {
2155
2155
  "type": "EFT_ALLOC",
2156
2156
  "overwrite_app_function": 1,
2157
- "addr": {
2158
- "src": "L",
2159
- "dst": "L"
2157
+ "AddrStmt": {
2158
+ "src": "Obj",
2159
+ "dst": "Ret"
2160
2160
  }
2161
2161
  },
2162
2162
  "jpeg_alloc_quant_table": {
2163
2163
  "type": "EFT_ALLOC",
2164
2164
  "overwrite_app_function": 1,
2165
- "addr": {
2166
- "src": "L",
2167
- "dst": "L"
2165
+ "AddrStmt": {
2166
+ "src": "Obj",
2167
+ "dst": "Ret"
2168
2168
  }
2169
2169
  },
2170
2170
  "lalloc": {
2171
2171
  "type": "EFT_ALLOC",
2172
2172
  "overwrite_app_function": 1,
2173
- "addr": {
2174
- "src": "L",
2175
- "dst": "L"
2173
+ "AddrStmt": {
2174
+ "src": "Obj",
2175
+ "dst": "Ret"
2176
2176
  }
2177
2177
  },
2178
2178
  "lalloc_clear": {
2179
2179
  "type": "EFT_ALLOC",
2180
2180
  "overwrite_app_function": 1,
2181
- "addr": {
2182
- "src": "L",
2183
- "dst": "L"
2181
+ "AddrStmt": {
2182
+ "src": "Obj",
2183
+ "dst": "Ret"
2184
2184
  }
2185
2185
  },
2186
2186
  "malloc": {
2187
2187
  "type": "EFT_ALLOC",
2188
2188
  "overwrite_app_function": 1,
2189
- "addr": {
2190
- "src": "L",
2191
- "dst": "L"
2189
+ "AddrStmt": {
2190
+ "src": "Obj",
2191
+ "dst": "Ret"
2192
2192
  }
2193
2193
  },
2194
2194
  "nhalloc": {
2195
2195
  "type": "EFT_ALLOC",
2196
2196
  "overwrite_app_function": 1,
2197
- "addr": {
2198
- "src": "L",
2199
- "dst": "L"
2197
+ "AddrStmt": {
2198
+ "src": "Obj",
2199
+ "dst": "Ret"
2200
2200
  }
2201
2201
  },
2202
2202
  "oballoc": {
2203
2203
  "type": "EFT_ALLOC",
2204
2204
  "overwrite_app_function": 1,
2205
- "addr": {
2206
- "src": "L",
2207
- "dst": "L"
2205
+ "AddrStmt": {
2206
+ "src": "Obj",
2207
+ "dst": "Ret"
2208
2208
  }
2209
2209
  },
2210
2210
  "pango_cairo_font_map_create_context": {
2211
2211
  "type": "EFT_ALLOC",
2212
2212
  "overwrite_app_function": 1,
2213
- "addr": {
2214
- "src": "L",
2215
- "dst": "L"
2213
+ "AddrStmt": {
2214
+ "src": "Obj",
2215
+ "dst": "Ret"
2216
2216
  }
2217
2217
  },
2218
2218
  "pcre_compile": {
2219
2219
  "type": "EFT_ALLOC",
2220
2220
  "overwrite_app_function": 1,
2221
- "addr": {
2222
- "src": "L",
2223
- "dst": "L"
2221
+ "AddrStmt": {
2222
+ "src": "Obj",
2223
+ "dst": "Ret"
2224
2224
  }
2225
2225
  },
2226
2226
  "pcre_study": {
2227
2227
  "type": "EFT_ALLOC",
2228
2228
  "overwrite_app_function": 1,
2229
- "addr": {
2230
- "src": "L",
2231
- "dst": "L"
2229
+ "AddrStmt": {
2230
+ "src": "Obj",
2231
+ "dst": "Ret"
2232
2232
  }
2233
2233
  },
2234
2234
  "permalloc": {
2235
2235
  "type": "EFT_ALLOC",
2236
2236
  "overwrite_app_function": 1,
2237
- "addr": {
2238
- "src": "L",
2239
- "dst": "L"
2237
+ "AddrStmt": {
2238
+ "src": "Obj",
2239
+ "dst": "Ret"
2240
2240
  }
2241
2241
  },
2242
2242
  "png_create_info_struct": {
2243
2243
  "type": "EFT_ALLOC",
2244
2244
  "overwrite_app_function": 1,
2245
- "addr": {
2246
- "src": "L",
2247
- "dst": "L"
2245
+ "AddrStmt": {
2246
+ "src": "Obj",
2247
+ "dst": "Ret"
2248
2248
  }
2249
2249
  },
2250
2250
  "png_create_write_struct": {
2251
2251
  "type": "EFT_ALLOC",
2252
2252
  "overwrite_app_function": 1,
2253
- "addr": {
2254
- "src": "L",
2255
- "dst": "L"
2253
+ "AddrStmt": {
2254
+ "src": "Obj",
2255
+ "dst": "Ret"
2256
2256
  }
2257
2257
  },
2258
2258
  "popen": {
2259
2259
  "type": "EFT_ALLOC",
2260
2260
  "overwrite_app_function": 1,
2261
- "addr": {
2262
- "src": "L",
2263
- "dst": "L"
2261
+ "AddrStmt": {
2262
+ "src": "Obj",
2263
+ "dst": "Ret"
2264
2264
  }
2265
2265
  },
2266
2266
  "pthread_getspecific": {
2267
2267
  "type": "EFT_ALLOC",
2268
2268
  "overwrite_app_function": 1,
2269
- "addr": {
2270
- "src": "L",
2271
- "dst": "L"
2269
+ "AddrStmt": {
2270
+ "src": "Obj",
2271
+ "dst": "Ret"
2272
2272
  }
2273
2273
  },
2274
2274
  "readdir": {
2275
2275
  "type": "EFT_ALLOC",
2276
2276
  "overwrite_app_function": 1,
2277
- "addr": {
2278
- "src": "L",
2279
- "dst": "L"
2277
+ "AddrStmt": {
2278
+ "src": "Obj",
2279
+ "dst": "Ret"
2280
2280
  }
2281
2281
  },
2282
2282
  "safe_calloc": {
2283
2283
  "type": "EFT_ALLOC",
2284
2284
  "overwrite_app_function": 1,
2285
- "addr": {
2286
- "src": "L",
2287
- "dst": "L"
2285
+ "AddrStmt": {
2286
+ "src": "Obj",
2287
+ "dst": "Ret"
2288
2288
  }
2289
2289
  },
2290
2290
  "safe_malloc": {
2291
2291
  "type": "EFT_ALLOC",
2292
2292
  "overwrite_app_function": 1,
2293
- "addr": {
2294
- "src": "L",
2295
- "dst": "L"
2293
+ "AddrStmt": {
2294
+ "src": "Obj",
2295
+ "dst": "Ret"
2296
2296
  }
2297
2297
  },
2298
2298
  "safecalloc": {
2299
2299
  "type": "EFT_ALLOC",
2300
2300
  "overwrite_app_function": 1,
2301
- "addr": {
2302
- "src": "L",
2303
- "dst": "L"
2301
+ "AddrStmt": {
2302
+ "src": "Obj",
2303
+ "dst": "Ret"
2304
2304
  }
2305
2305
  },
2306
2306
  "safemalloc": {
2307
2307
  "type": "EFT_ALLOC",
2308
2308
  "overwrite_app_function": 1,
2309
- "addr": {
2310
- "src": "L",
2311
- "dst": "L"
2309
+ "AddrStmt": {
2310
+ "src": "Obj",
2311
+ "dst": "Ret"
2312
2312
  }
2313
2313
  },
2314
2314
  "safexcalloc": {
2315
2315
  "type": "EFT_ALLOC",
2316
2316
  "overwrite_app_function": 1,
2317
- "addr": {
2318
- "src": "L",
2319
- "dst": "L"
2317
+ "AddrStmt": {
2318
+ "src": "Obj",
2319
+ "dst": "Ret"
2320
2320
  }
2321
2321
  },
2322
2322
  "safexmalloc": {
2323
2323
  "type": "EFT_ALLOC",
2324
2324
  "overwrite_app_function": 1,
2325
- "addr": {
2326
- "src": "L",
2327
- "dst": "L"
2325
+ "AddrStmt": {
2326
+ "src": "Obj",
2327
+ "dst": "Ret"
2328
2328
  }
2329
2329
  },
2330
2330
  "savealloc": {
2331
2331
  "type": "EFT_ALLOC",
2332
2332
  "overwrite_app_function": 1,
2333
- "addr": {
2334
- "src": "L",
2335
- "dst": "L"
2333
+ "AddrStmt": {
2334
+ "src": "Obj",
2335
+ "dst": "Ret"
2336
2336
  }
2337
2337
  },
2338
2338
  "setmntent": {
2339
2339
  "type": "EFT_ALLOC",
2340
2340
  "overwrite_app_function": 1,
2341
- "addr": {
2342
- "src": "L",
2343
- "dst": "L"
2341
+ "AddrStmt": {
2342
+ "src": "Obj",
2343
+ "dst": "Ret"
2344
2344
  }
2345
2345
  },
2346
2346
  "shmat": {
2347
2347
  "type": "EFT_ALLOC",
2348
2348
  "overwrite_app_function": 1,
2349
- "addr": {
2350
- "src": "L",
2351
- "dst": "L"
2349
+ "AddrStmt": {
2350
+ "src": "Obj",
2351
+ "dst": "Ret"
2352
2352
  }
2353
2353
  },
2354
2354
  "__sysv_signal": {
2355
2355
  "type": "EFT_ALLOC",
2356
2356
  "overwrite_app_function": 1,
2357
- "addr": {
2358
- "src": "L",
2359
- "dst": "L"
2357
+ "AddrStmt": {
2358
+ "src": "Obj",
2359
+ "dst": "Ret"
2360
2360
  }
2361
2361
  },
2362
2362
  "signal": {
2363
2363
  "type": "EFT_ALLOC",
2364
2364
  "overwrite_app_function": 1,
2365
- "addr": {
2366
- "src": "L",
2367
- "dst": "L"
2365
+ "AddrStmt": {
2366
+ "src": "Obj",
2367
+ "dst": "Ret"
2368
2368
  }
2369
2369
  },
2370
2370
  "sigset": {
2371
2371
  "type": "EFT_ALLOC",
2372
2372
  "overwrite_app_function": 1,
2373
- "addr": {
2374
- "src": "L",
2375
- "dst": "L"
2373
+ "AddrStmt": {
2374
+ "src": "Obj",
2375
+ "dst": "Ret"
2376
2376
  }
2377
2377
  },
2378
2378
  "tempnam": {
2379
2379
  "type": "EFT_ALLOC",
2380
2380
  "overwrite_app_function": 1,
2381
- "addr": {
2382
- "src": "L",
2383
- "dst": "L"
2381
+ "AddrStmt": {
2382
+ "src": "Obj",
2383
+ "dst": "Ret"
2384
2384
  }
2385
2385
  },
2386
2386
  "tmpfile": {
2387
2387
  "type": "EFT_ALLOC",
2388
2388
  "overwrite_app_function": 1,
2389
- "addr": {
2390
- "src": "L",
2391
- "dst": "L"
2389
+ "AddrStmt": {
2390
+ "src": "Obj",
2391
+ "dst": "Ret"
2392
2392
  }
2393
2393
  },
2394
2394
  "xalloc": {
2395
2395
  "type": "EFT_ALLOC",
2396
2396
  "overwrite_app_function": 1,
2397
- "addr": {
2398
- "src": "L",
2399
- "dst": "L"
2397
+ "AddrStmt": {
2398
+ "src": "Obj",
2399
+ "dst": "Ret"
2400
2400
  }
2401
2401
  },
2402
2402
  "xcalloc": {
2403
2403
  "type": "EFT_ALLOC",
2404
2404
  "overwrite_app_function": 1,
2405
- "addr": {
2406
- "src": "L",
2407
- "dst": "L"
2405
+ "AddrStmt": {
2406
+ "src": "Obj",
2407
+ "dst": "Ret"
2408
2408
  }
2409
2409
  },
2410
2410
  "xmalloc": {
2411
2411
  "type": "EFT_ALLOC",
2412
2412
  "overwrite_app_function": 1,
2413
- "addr": {
2414
- "src": "L",
2415
- "dst": "L"
2413
+ "AddrStmt": {
2414
+ "src": "Obj",
2415
+ "dst": "Ret"
2416
2416
  }
2417
2417
  },
2418
2418
  "_Znwm": {
2419
2419
  "type": "EFT_ALLOC",
2420
2420
  "overwrite_app_function": 1,
2421
- "addr": {
2422
- "src": "L",
2423
- "dst": "L"
2421
+ "AddrStmt": {
2422
+ "src": "Obj",
2423
+ "dst": "Ret"
2424
2424
  }
2425
2425
  },
2426
2426
  "_Znam": {
2427
2427
  "type": "EFT_ALLOC",
2428
2428
  "overwrite_app_function": 1,
2429
- "addr": {
2430
- "src": "L",
2431
- "dst": "L"
2429
+ "AddrStmt": {
2430
+ "src": "Obj",
2431
+ "dst": "Ret"
2432
2432
  }
2433
2433
  },
2434
2434
  "_Znaj": {
2435
2435
  "type": "EFT_ALLOC",
2436
2436
  "overwrite_app_function": 1,
2437
- "addr": {
2438
- "src": "L",
2439
- "dst": "L"
2437
+ "AddrStmt": {
2438
+ "src": "Obj",
2439
+ "dst": "Ret"
2440
2440
  }
2441
2441
  },
2442
2442
  "_Znwj": {
2443
2443
  "type": "EFT_ALLOC",
2444
2444
  "overwrite_app_function": 1,
2445
- "addr": {
2446
- "src": "L",
2447
- "dst": "L"
2445
+ "AddrStmt": {
2446
+ "src": "Obj",
2447
+ "dst": "Ret"
2448
2448
  }
2449
2449
  },
2450
2450
  "__cxa_allocate_exception": {
2451
2451
  "type": "EFT_ALLOC",
2452
2452
  "overwrite_app_function": 1,
2453
- "addr": {
2454
- "src": "L",
2455
- "dst": "L"
2453
+ "AddrStmt": {
2454
+ "src": "Obj",
2455
+ "dst": "Ret"
2456
2456
  }
2457
2457
  },
2458
2458
  "aligned_alloc": {
2459
2459
  "type": "EFT_ALLOC",
2460
2460
  "overwrite_app_function": 1,
2461
- "addr": {
2462
- "src": "L",
2463
- "dst": "L"
2461
+ "AddrStmt": {
2462
+ "src": "Obj",
2463
+ "dst": "Ret"
2464
2464
  }
2465
2465
  },
2466
2466
  "memalign": {
2467
2467
  "type": "EFT_ALLOC",
2468
2468
  "overwrite_app_function": 1,
2469
- "addr": {
2470
- "src": "L",
2471
- "dst": "L"
2469
+ "AddrStmt": {
2470
+ "src": "Obj",
2471
+ "dst": "Ret"
2472
2472
  }
2473
2473
  },
2474
2474
  "valloc": {
2475
2475
  "type": "EFT_ALLOC",
2476
2476
  "overwrite_app_function": 1,
2477
- "addr": {
2478
- "src": "L",
2479
- "dst": "L"
2477
+ "AddrStmt": {
2478
+ "src": "Obj",
2479
+ "dst": "Ret"
2480
2480
  }
2481
2481
  },
2482
2482
  "SRE_LockCreate": {
2483
2483
  "type": "EFT_ALLOC",
2484
2484
  "overwrite_app_function": 1,
2485
- "addr": {
2486
- "src": "L",
2487
- "dst": "L"
2485
+ "AddrStmt": {
2486
+ "src": "Obj",
2487
+ "dst": "Ret"
2488
2488
  }
2489
2489
  },
2490
2490
  "VOS_MemAlloc": {
2491
2491
  "type": "EFT_ALLOC",
2492
2492
  "overwrite_app_function": 1,
2493
- "addr": {
2494
- "src": "L",
2495
- "dst": "L"
2493
+ "AddrStmt": {
2494
+ "src": "Obj",
2495
+ "dst": "Ret"
2496
2496
  }
2497
2497
  },
2498
2498
  "mmap64": {
2499
2499
  "type": "EFT_NOSTRUCT_ALLOC",
2500
2500
  "overwrite_app_function": 1,
2501
- "addr": {
2502
- "src": "L",
2503
- "dst": "L"
2501
+ "AddrStmt": {
2502
+ "src": "Obj",
2503
+ "dst": "Ret"
2504
2504
  }
2505
2505
  },
2506
2506
  "X509_NAME_oneline": {
2507
2507
  "type": "EFT_NOSTRUCT_ALLOC",
2508
2508
  "overwrite_app_function": 1,
2509
- "addr": {
2510
- "src": "L",
2511
- "dst": "L"
2509
+ "AddrStmt": {
2510
+ "src": "Obj",
2511
+ "dst": "Ret"
2512
2512
  }
2513
2513
  },
2514
2514
  "X509_verify_cert_error_string": {
2515
2515
  "type": "EFT_NOSTRUCT_ALLOC",
2516
2516
  "overwrite_app_function": 1,
2517
- "addr": {
2518
- "src": "L",
2519
- "dst": "L"
2517
+ "AddrStmt": {
2518
+ "src": "Obj",
2519
+ "dst": "Ret"
2520
2520
  }
2521
2521
  },
2522
2522
  "XBaseFontNameListOfFontSet": {
2523
2523
  "type": "EFT_NOSTRUCT_ALLOC",
2524
2524
  "overwrite_app_function": 1,
2525
- "addr": {
2526
- "src": "L",
2527
- "dst": "L"
2525
+ "AddrStmt": {
2526
+ "src": "Obj",
2527
+ "dst": "Ret"
2528
2528
  }
2529
2529
  },
2530
2530
  "XGetAtomName": {
2531
2531
  "type": "EFT_NOSTRUCT_ALLOC",
2532
2532
  "overwrite_app_function": 1,
2533
- "addr": {
2534
- "src": "L",
2535
- "dst": "L"
2533
+ "AddrStmt": {
2534
+ "src": "Obj",
2535
+ "dst": "Ret"
2536
2536
  }
2537
2537
  },
2538
2538
  "XGetDefault": {
2539
2539
  "type": "EFT_NOSTRUCT_ALLOC",
2540
2540
  "overwrite_app_function": 1,
2541
- "addr": {
2542
- "src": "L",
2543
- "dst": "L"
2541
+ "AddrStmt": {
2542
+ "src": "Obj",
2543
+ "dst": "Ret"
2544
2544
  }
2545
2545
  },
2546
2546
  "XGetKeyboardMapping": {
2547
2547
  "type": "EFT_NOSTRUCT_ALLOC",
2548
2548
  "overwrite_app_function": 1,
2549
- "addr": {
2550
- "src": "L",
2551
- "dst": "L"
2549
+ "AddrStmt": {
2550
+ "src": "Obj",
2551
+ "dst": "Ret"
2552
2552
  }
2553
2553
  },
2554
2554
  "XListDepths": {
2555
2555
  "type": "EFT_NOSTRUCT_ALLOC",
2556
2556
  "overwrite_app_function": 1,
2557
- "addr": {
2558
- "src": "L",
2559
- "dst": "L"
2557
+ "AddrStmt": {
2558
+ "src": "Obj",
2559
+ "dst": "Ret"
2560
2560
  }
2561
2561
  },
2562
2562
  "XListFonts": {
2563
2563
  "type": "EFT_NOSTRUCT_ALLOC",
2564
2564
  "overwrite_app_function": 1,
2565
- "addr": {
2566
- "src": "L",
2567
- "dst": "L"
2565
+ "AddrStmt": {
2566
+ "src": "Obj",
2567
+ "dst": "Ret"
2568
2568
  }
2569
2569
  },
2570
2570
  "XSetLocaleModifiers": {
2571
2571
  "type": "EFT_NOSTRUCT_ALLOC",
2572
2572
  "overwrite_app_function": 1,
2573
- "addr": {
2574
- "src": "L",
2575
- "dst": "L"
2573
+ "AddrStmt": {
2574
+ "src": "Obj",
2575
+ "dst": "Ret"
2576
2576
  }
2577
2577
  },
2578
2578
  "XcursorGetTheme": {
2579
2579
  "type": "EFT_NOSTRUCT_ALLOC",
2580
2580
  "overwrite_app_function": 1,
2581
- "addr": {
2582
- "src": "L",
2583
- "dst": "L"
2581
+ "AddrStmt": {
2582
+ "src": "Obj",
2583
+ "dst": "Ret"
2584
2584
  }
2585
2585
  },
2586
2586
  "__strdup": {
2587
2587
  "type": "EFT_NOSTRUCT_ALLOC",
2588
2588
  "overwrite_app_function": 1,
2589
- "addr": {
2590
- "src": "L",
2591
- "dst": "L"
2589
+ "AddrStmt": {
2590
+ "src": "Obj",
2591
+ "dst": "Ret"
2592
2592
  }
2593
2593
  },
2594
2594
  "crypt": {
2595
2595
  "type": "EFT_NOSTRUCT_ALLOC",
2596
2596
  "overwrite_app_function": 1,
2597
- "addr": {
2598
- "src": "L",
2599
- "dst": "L"
2597
+ "AddrStmt": {
2598
+ "src": "Obj",
2599
+ "dst": "Ret"
2600
2600
  }
2601
2601
  },
2602
2602
  "ctime": {
2603
2603
  "type": "EFT_NOSTRUCT_ALLOC",
2604
2604
  "overwrite_app_function": 1,
2605
- "addr": {
2606
- "src": "L",
2607
- "dst": "L"
2605
+ "AddrStmt": {
2606
+ "src": "Obj",
2607
+ "dst": "Ret"
2608
2608
  }
2609
2609
  },
2610
2610
  "dlerror": {
2611
2611
  "type": "EFT_NOSTRUCT_ALLOC",
2612
2612
  "overwrite_app_function": 1,
2613
- "addr": {
2614
- "src": "L",
2615
- "dst": "L"
2613
+ "AddrStmt": {
2614
+ "src": "Obj",
2615
+ "dst": "Ret"
2616
2616
  }
2617
2617
  },
2618
2618
  "dlopen": {
2619
2619
  "type": "EFT_NOSTRUCT_ALLOC",
2620
2620
  "overwrite_app_function": 1,
2621
- "addr": {
2622
- "src": "L",
2623
- "dst": "L"
2621
+ "AddrStmt": {
2622
+ "src": "Obj",
2623
+ "dst": "Ret"
2624
2624
  }
2625
2625
  },
2626
2626
  "gai_strerror": {
2627
2627
  "type": "EFT_NOSTRUCT_ALLOC",
2628
2628
  "overwrite_app_function": 1,
2629
- "addr": {
2630
- "src": "L",
2631
- "dst": "L"
2629
+ "AddrStmt": {
2630
+ "src": "Obj",
2631
+ "dst": "Ret"
2632
2632
  }
2633
2633
  },
2634
2634
  "gcry_cipher_algo_name": {
2635
2635
  "type": "EFT_NOSTRUCT_ALLOC",
2636
2636
  "overwrite_app_function": 1,
2637
- "addr": {
2638
- "src": "L",
2639
- "dst": "L"
2637
+ "AddrStmt": {
2638
+ "src": "Obj",
2639
+ "dst": "Ret"
2640
2640
  }
2641
2641
  },
2642
2642
  "gcry_md_algo_name": {
2643
2643
  "type": "EFT_NOSTRUCT_ALLOC",
2644
2644
  "overwrite_app_function": 1,
2645
- "addr": {
2646
- "src": "L",
2647
- "dst": "L"
2645
+ "AddrStmt": {
2646
+ "src": "Obj",
2647
+ "dst": "Ret"
2648
2648
  }
2649
2649
  },
2650
2650
  "gcry_md_read": {
2651
2651
  "type": "EFT_NOSTRUCT_ALLOC",
2652
2652
  "overwrite_app_function": 1,
2653
- "addr": {
2654
- "src": "L",
2655
- "dst": "L"
2653
+ "AddrStmt": {
2654
+ "src": "Obj",
2655
+ "dst": "Ret"
2656
2656
  }
2657
2657
  },
2658
2658
  "getenv": {
2659
2659
  "type": "EFT_NOSTRUCT_ALLOC",
2660
2660
  "overwrite_app_function": 1,
2661
- "addr": {
2662
- "src": "L",
2663
- "dst": "L"
2661
+ "AddrStmt": {
2662
+ "src": "Obj",
2663
+ "dst": "Ret"
2664
2664
  }
2665
2665
  },
2666
2666
  "getlogin": {
2667
2667
  "type": "EFT_NOSTRUCT_ALLOC",
2668
2668
  "overwrite_app_function": 1,
2669
- "addr": {
2670
- "src": "L",
2671
- "dst": "L"
2669
+ "AddrStmt": {
2670
+ "src": "Obj",
2671
+ "dst": "Ret"
2672
2672
  }
2673
2673
  },
2674
2674
  "getpass": {
2675
2675
  "type": "EFT_NOSTRUCT_ALLOC",
2676
2676
  "overwrite_app_function": 1,
2677
- "addr": {
2678
- "src": "L",
2679
- "dst": "L"
2677
+ "AddrStmt": {
2678
+ "src": "Obj",
2679
+ "dst": "Ret"
2680
2680
  }
2681
2681
  },
2682
2682
  "gnutls_strerror": {
2683
2683
  "type": "EFT_NOSTRUCT_ALLOC",
2684
2684
  "overwrite_app_function": 1,
2685
- "addr": {
2686
- "src": "L",
2687
- "dst": "L"
2685
+ "AddrStmt": {
2686
+ "src": "Obj",
2687
+ "dst": "Ret"
2688
2688
  }
2689
2689
  },
2690
2690
  "gpg_strerror": {
2691
2691
  "type": "EFT_NOSTRUCT_ALLOC",
2692
2692
  "overwrite_app_function": 1,
2693
- "addr": {
2694
- "src": "L",
2695
- "dst": "L"
2693
+ "AddrStmt": {
2694
+ "src": "Obj",
2695
+ "dst": "Ret"
2696
2696
  }
2697
2697
  },
2698
2698
  "gzerror": {
2699
2699
  "type": "EFT_NOSTRUCT_ALLOC",
2700
2700
  "overwrite_app_function": 1,
2701
- "addr": {
2702
- "src": "L",
2703
- "dst": "L"
2701
+ "AddrStmt": {
2702
+ "src": "Obj",
2703
+ "dst": "Ret"
2704
2704
  }
2705
2705
  },
2706
2706
  "inet_ntoa": {
2707
2707
  "type": "EFT_NOSTRUCT_ALLOC",
2708
2708
  "overwrite_app_function": 1,
2709
- "addr": {
2710
- "src": "L",
2711
- "dst": "L"
2709
+ "AddrStmt": {
2710
+ "src": "Obj",
2711
+ "dst": "Ret"
2712
2712
  }
2713
2713
  },
2714
2714
  "initscr": {
2715
2715
  "type": "EFT_NOSTRUCT_ALLOC",
2716
2716
  "overwrite_app_function": 1,
2717
- "addr": {
2718
- "src": "L",
2719
- "dst": "L"
2717
+ "AddrStmt": {
2718
+ "src": "Obj",
2719
+ "dst": "Ret"
2720
2720
  }
2721
2721
  },
2722
2722
  "llvm.stacksave": {
2723
2723
  "type": "EFT_NOSTRUCT_ALLOC",
2724
2724
  "overwrite_app_function": 1,
2725
- "addr": {
2726
- "src": "L",
2727
- "dst": "L"
2725
+ "AddrStmt": {
2726
+ "src": "Obj",
2727
+ "dst": "Ret"
2728
2728
  }
2729
2729
  },
2730
2730
  "mmap": {
2731
2731
  "type": "EFT_NOSTRUCT_ALLOC",
2732
2732
  "overwrite_app_function": 1,
2733
- "addr": {
2734
- "src": "L",
2735
- "dst": "L"
2733
+ "AddrStmt": {
2734
+ "src": "Obj",
2735
+ "dst": "Ret"
2736
2736
  }
2737
2737
  },
2738
2738
  "newwin": {
2739
2739
  "type": "EFT_NOSTRUCT_ALLOC",
2740
2740
  "overwrite_app_function": 1,
2741
- "addr": {
2742
- "src": "L",
2743
- "dst": "L"
2741
+ "AddrStmt": {
2742
+ "src": "Obj",
2743
+ "dst": "Ret"
2744
2744
  }
2745
2745
  },
2746
2746
  "nl_langinfo": {
2747
2747
  "type": "EFT_NOSTRUCT_ALLOC",
2748
2748
  "overwrite_app_function": 1,
2749
- "addr": {
2750
- "src": "L",
2751
- "dst": "L"
2749
+ "AddrStmt": {
2750
+ "src": "Obj",
2751
+ "dst": "Ret"
2752
2752
  }
2753
2753
  },
2754
2754
  "opendir": {
2755
2755
  "type": "EFT_NOSTRUCT_ALLOC",
2756
2756
  "overwrite_app_function": 1,
2757
- "addr": {
2758
- "src": "L",
2759
- "dst": "L"
2757
+ "AddrStmt": {
2758
+ "src": "Obj",
2759
+ "dst": "Ret"
2760
2760
  }
2761
2761
  },
2762
2762
  "sbrk": {
2763
2763
  "type": "EFT_NOSTRUCT_ALLOC",
2764
2764
  "overwrite_app_function": 1,
2765
- "addr": {
2766
- "src": "L",
2767
- "dst": "L"
2765
+ "AddrStmt": {
2766
+ "src": "Obj",
2767
+ "dst": "Ret"
2768
2768
  }
2769
2769
  },
2770
2770
  "strdup": {
2771
2771
  "type": "EFT_NOSTRUCT_ALLOC",
2772
2772
  "overwrite_app_function": 1,
2773
- "addr": {
2774
- "src": "L",
2775
- "dst": "L"
2773
+ "AddrStmt": {
2774
+ "src": "Obj",
2775
+ "dst": "Ret"
2776
2776
  }
2777
2777
  },
2778
2778
  "strerror": {
2779
2779
  "type": "EFT_NOSTRUCT_ALLOC",
2780
2780
  "overwrite_app_function": 1,
2781
- "addr": {
2782
- "src": "L",
2783
- "dst": "L"
2781
+ "AddrStmt": {
2782
+ "src": "Obj",
2783
+ "dst": "Ret"
2784
2784
  }
2785
2785
  },
2786
2786
  "strsignal": {
2787
2787
  "type": "EFT_NOSTRUCT_ALLOC",
2788
2788
  "overwrite_app_function": 1,
2789
- "addr": {
2790
- "src": "L",
2791
- "dst": "L"
2789
+ "AddrStmt": {
2790
+ "src": "Obj",
2791
+ "dst": "Ret"
2792
2792
  }
2793
2793
  },
2794
2794
  "textdomain": {
2795
2795
  "type": "EFT_NOSTRUCT_ALLOC",
2796
2796
  "overwrite_app_function": 1,
2797
- "addr": {
2798
- "src": "L",
2799
- "dst": "L"
2797
+ "AddrStmt": {
2798
+ "src": "Obj",
2799
+ "dst": "Ret"
2800
2800
  }
2801
2801
  },
2802
2802
  "tgetstr": {
2803
2803
  "type": "EFT_NOSTRUCT_ALLOC",
2804
2804
  "overwrite_app_function": 1,
2805
- "addr": {
2806
- "src": "L",
2807
- "dst": "L"
2805
+ "AddrStmt": {
2806
+ "src": "Obj",
2807
+ "dst": "Ret"
2808
2808
  }
2809
2809
  },
2810
2810
  "tigetstr": {
2811
2811
  "type": "EFT_NOSTRUCT_ALLOC",
2812
2812
  "overwrite_app_function": 1,
2813
- "addr": {
2814
- "src": "L",
2815
- "dst": "L"
2813
+ "AddrStmt": {
2814
+ "src": "Obj",
2815
+ "dst": "Ret"
2816
2816
  }
2817
2817
  },
2818
2818
  "tmpnam": {
2819
2819
  "type": "EFT_NOSTRUCT_ALLOC",
2820
2820
  "overwrite_app_function": 1,
2821
- "addr": {
2822
- "src": "L",
2823
- "dst": "L"
2821
+ "AddrStmt": {
2822
+ "src": "Obj",
2823
+ "dst": "Ret"
2824
2824
  }
2825
2825
  },
2826
2826
  "ttyname": {
2827
2827
  "type": "EFT_NOSTRUCT_ALLOC",
2828
2828
  "overwrite_app_function": 1,
2829
- "addr": {
2830
- "src": "L",
2831
- "dst": "L"
2829
+ "AddrStmt": {
2830
+ "src": "Obj",
2831
+ "dst": "Ret"
2832
2832
  }
2833
2833
  },
2834
2834
  "__ctype_b_loc": {
2835
2835
  "type": "EFT_STAT2",
2836
2836
  "overwrite_app_function": 0,
2837
- "addr": {
2838
- "src": "L",
2839
- "dst": "L"
2837
+ "AddrStmt": {
2838
+ "src": "Obj",
2839
+ "dst": "Ret"
2840
2840
  }
2841
2841
  },
2842
2842
  "__ctype_tolower_loc": {
2843
2843
  "type": "EFT_STAT2",
2844
2844
  "overwrite_app_function": 0,
2845
- "addr": {
2846
- "src": "L",
2847
- "dst": "L"
2845
+ "AddrStmt": {
2846
+ "src": "Obj",
2847
+ "dst": "Ret"
2848
2848
  }
2849
2849
  },
2850
2850
  "__ctype_toupper_loc": {
2851
2851
  "type": "EFT_STAT2",
2852
2852
  "overwrite_app_function": 0,
2853
- "addr": {
2854
- "src": "L",
2855
- "dst": "L"
2853
+ "AddrStmt": {
2854
+ "src": "Obj",
2855
+ "dst": "Ret"
2856
2856
  }
2857
2857
  },
2858
2858
  "XKeysymToString": {
2859
2859
  "type": "EFT_STAT",
2860
2860
  "overwrite_app_function": 0,
2861
- "addr": {
2862
- "src": "L",
2863
- "dst": "L"
2861
+ "AddrStmt": {
2862
+ "src": "Obj",
2863
+ "dst": "Ret"
2864
2864
  }
2865
2865
  },
2866
2866
  "__errno_location": {
2867
2867
  "type": "EFT_STAT",
2868
2868
  "overwrite_app_function": 0,
2869
- "addr": {
2870
- "src": "L",
2871
- "dst": "L"
2869
+ "AddrStmt": {
2870
+ "src": "Obj",
2871
+ "dst": "Ret"
2872
2872
  }
2873
2873
  },
2874
2874
  "__h_errno_location": {
2875
2875
  "type": "EFT_STAT",
2876
2876
  "overwrite_app_function": 0,
2877
- "addr": {
2878
- "src": "L",
2879
- "dst": "L"
2877
+ "AddrStmt": {
2878
+ "src": "Obj",
2879
+ "dst": "Ret"
2880
2880
  }
2881
2881
  },
2882
2882
  "__res_state": {
2883
2883
  "type": "EFT_STAT",
2884
2884
  "overwrite_app_function": 0,
2885
- "addr": {
2886
- "src": "L",
2887
- "dst": "L"
2885
+ "AddrStmt": {
2886
+ "src": "Obj",
2887
+ "dst": "Ret"
2888
2888
  }
2889
2889
  },
2890
2890
  "asctime": {
2891
2891
  "type": "EFT_STAT",
2892
2892
  "overwrite_app_function": 0,
2893
- "addr": {
2894
- "src": "L",
2895
- "dst": "L"
2893
+ "AddrStmt": {
2894
+ "src": "Obj",
2895
+ "dst": "Ret"
2896
2896
  }
2897
2897
  },
2898
2898
  "bindtextdomain": {
2899
2899
  "type": "EFT_STAT",
2900
2900
  "overwrite_app_function": 0,
2901
- "addr": {
2902
- "src": "L",
2903
- "dst": "L"
2901
+ "AddrStmt": {
2902
+ "src": "Obj",
2903
+ "dst": "Ret"
2904
2904
  }
2905
2905
  },
2906
2906
  "bind_textdomain_codeset": {
2907
2907
  "type": "EFT_STAT",
2908
2908
  "overwrite_app_function": 0,
2909
- "addr": {
2910
- "src": "L",
2911
- "dst": "L"
2909
+ "AddrStmt": {
2910
+ "src": "Obj",
2911
+ "dst": "Ret"
2912
2912
  }
2913
2913
  },
2914
2914
  "ctermid": {
2915
2915
  "type": "EFT_STAT",
2916
2916
  "overwrite_app_function": 0,
2917
- "addr": {
2918
- "src": "L",
2919
- "dst": "L"
2917
+ "AddrStmt": {
2918
+ "src": "Obj",
2919
+ "dst": "Ret"
2920
2920
  }
2921
2921
  },
2922
2922
  "dcgettext": {
2923
2923
  "type": "EFT_STAT",
2924
2924
  "overwrite_app_function": 0,
2925
- "addr": {
2926
- "src": "L",
2927
- "dst": "L"
2925
+ "AddrStmt": {
2926
+ "src": "Obj",
2927
+ "dst": "Ret"
2928
2928
  }
2929
2929
  },
2930
2930
  "dgettext": {
2931
2931
  "type": "EFT_STAT",
2932
2932
  "overwrite_app_function": 0,
2933
- "addr": {
2934
- "src": "L",
2935
- "dst": "L"
2933
+ "AddrStmt": {
2934
+ "src": "Obj",
2935
+ "dst": "Ret"
2936
2936
  }
2937
2937
  },
2938
2938
  "dngettext": {
2939
2939
  "type": "EFT_STAT",
2940
2940
  "overwrite_app_function": 0,
2941
- "addr": {
2942
- "src": "L",
2943
- "dst": "L"
2941
+ "AddrStmt": {
2942
+ "src": "Obj",
2943
+ "dst": "Ret"
2944
2944
  }
2945
2945
  },
2946
2946
  "fdopen": {
2947
2947
  "type": "EFT_STAT",
2948
2948
  "overwrite_app_function": 0,
2949
- "addr": {
2950
- "src": "L",
2951
- "dst": "L"
2949
+ "AddrStmt": {
2950
+ "src": "Obj",
2951
+ "dst": "Ret"
2952
2952
  }
2953
2953
  },
2954
2954
  "gcry_strerror": {
2955
2955
  "type": "EFT_STAT",
2956
2956
  "overwrite_app_function": 0,
2957
- "addr": {
2958
- "src": "L",
2959
- "dst": "L"
2957
+ "AddrStmt": {
2958
+ "src": "Obj",
2959
+ "dst": "Ret"
2960
2960
  }
2961
2961
  },
2962
2962
  "gcry_strsource": {
2963
2963
  "type": "EFT_STAT",
2964
2964
  "overwrite_app_function": 0,
2965
- "addr": {
2966
- "src": "L",
2967
- "dst": "L"
2965
+ "AddrStmt": {
2966
+ "src": "Obj",
2967
+ "dst": "Ret"
2968
2968
  }
2969
2969
  },
2970
2970
  "getgrgid": {
2971
2971
  "type": "EFT_STAT",
2972
2972
  "overwrite_app_function": 0,
2973
- "addr": {
2974
- "src": "L",
2975
- "dst": "L"
2973
+ "AddrStmt": {
2974
+ "src": "Obj",
2975
+ "dst": "Ret"
2976
2976
  }
2977
2977
  },
2978
2978
  "getgrnam": {
2979
2979
  "type": "EFT_STAT",
2980
2980
  "overwrite_app_function": 0,
2981
- "addr": {
2982
- "src": "L",
2983
- "dst": "L"
2981
+ "AddrStmt": {
2982
+ "src": "Obj",
2983
+ "dst": "Ret"
2984
2984
  }
2985
2985
  },
2986
2986
  "gethostbyaddr": {
2987
2987
  "type": "EFT_STAT",
2988
2988
  "overwrite_app_function": 0,
2989
- "addr": {
2990
- "src": "L",
2991
- "dst": "L"
2989
+ "AddrStmt": {
2990
+ "src": "Obj",
2991
+ "dst": "Ret"
2992
2992
  }
2993
2993
  },
2994
2994
  "gethostbyname": {
2995
2995
  "type": "EFT_STAT",
2996
2996
  "overwrite_app_function": 0,
2997
- "addr": {
2998
- "src": "L",
2999
- "dst": "L"
2997
+ "AddrStmt": {
2998
+ "src": "Obj",
2999
+ "dst": "Ret"
3000
3000
  }
3001
3001
  },
3002
3002
  "gethostbyname2": {
3003
3003
  "type": "EFT_STAT",
3004
3004
  "overwrite_app_function": 0,
3005
- "addr": {
3006
- "src": "L",
3007
- "dst": "L"
3005
+ "AddrStmt": {
3006
+ "src": "Obj",
3007
+ "dst": "Ret"
3008
3008
  }
3009
3009
  },
3010
3010
  "getmntent": {
3011
3011
  "type": "EFT_STAT",
3012
3012
  "overwrite_app_function": 0,
3013
- "addr": {
3014
- "src": "L",
3015
- "dst": "L"
3013
+ "AddrStmt": {
3014
+ "src": "Obj",
3015
+ "dst": "Ret"
3016
3016
  }
3017
3017
  },
3018
3018
  "getprotobyname": {
3019
3019
  "type": "EFT_STAT",
3020
3020
  "overwrite_app_function": 0,
3021
- "addr": {
3022
- "src": "L",
3023
- "dst": "L"
3021
+ "AddrStmt": {
3022
+ "src": "Obj",
3023
+ "dst": "Ret"
3024
3024
  }
3025
3025
  },
3026
3026
  "getprotobynumber": {
3027
3027
  "type": "EFT_STAT",
3028
3028
  "overwrite_app_function": 0,
3029
- "addr": {
3030
- "src": "L",
3031
- "dst": "L"
3029
+ "AddrStmt": {
3030
+ "src": "Obj",
3031
+ "dst": "Ret"
3032
3032
  }
3033
3033
  },
3034
3034
  "getpwent": {
3035
3035
  "type": "EFT_STAT",
3036
3036
  "overwrite_app_function": 0,
3037
- "addr": {
3038
- "src": "L",
3039
- "dst": "L"
3037
+ "AddrStmt": {
3038
+ "src": "Obj",
3039
+ "dst": "Ret"
3040
3040
  }
3041
3041
  },
3042
3042
  "getpwnam": {
3043
3043
  "type": "EFT_STAT",
3044
3044
  "overwrite_app_function": 0,
3045
- "addr": {
3046
- "src": "L",
3047
- "dst": "L"
3045
+ "AddrStmt": {
3046
+ "src": "Obj",
3047
+ "dst": "Ret"
3048
3048
  }
3049
3049
  },
3050
3050
  "getpwuid": {
3051
3051
  "type": "EFT_STAT",
3052
3052
  "overwrite_app_function": 0,
3053
- "addr": {
3054
- "src": "L",
3055
- "dst": "L"
3053
+ "AddrStmt": {
3054
+ "src": "Obj",
3055
+ "dst": "Ret"
3056
3056
  }
3057
3057
  },
3058
3058
  "getservbyname": {
3059
3059
  "type": "EFT_STAT",
3060
3060
  "overwrite_app_function": 0,
3061
- "addr": {
3062
- "src": "L",
3063
- "dst": "L"
3061
+ "AddrStmt": {
3062
+ "src": "Obj",
3063
+ "dst": "Ret"
3064
3064
  }
3065
3065
  },
3066
3066
  "getservbyport": {
3067
3067
  "type": "EFT_STAT",
3068
3068
  "overwrite_app_function": 0,
3069
- "addr": {
3070
- "src": "L",
3071
- "dst": "L"
3069
+ "AddrStmt": {
3070
+ "src": "Obj",
3071
+ "dst": "Ret"
3072
3072
  }
3073
3073
  },
3074
3074
  "getspnam": {
3075
3075
  "type": "EFT_STAT",
3076
3076
  "overwrite_app_function": 0,
3077
- "addr": {
3078
- "src": "L",
3079
- "dst": "L"
3077
+ "AddrStmt": {
3078
+ "src": "Obj",
3079
+ "dst": "Ret"
3080
3080
  }
3081
3081
  },
3082
3082
  "gettext": {
3083
3083
  "type": "EFT_STAT",
3084
3084
  "overwrite_app_function": 0,
3085
- "addr": {
3086
- "src": "L",
3087
- "dst": "L"
3085
+ "AddrStmt": {
3086
+ "src": "Obj",
3087
+ "dst": "Ret"
3088
3088
  }
3089
3089
  },
3090
3090
  "gmtime": {
3091
3091
  "type": "EFT_STAT",
3092
3092
  "overwrite_app_function": 0,
3093
- "addr": {
3094
- "src": "L",
3095
- "dst": "L"
3093
+ "AddrStmt": {
3094
+ "src": "Obj",
3095
+ "dst": "Ret"
3096
3096
  }
3097
3097
  },
3098
3098
  "gnu_get_libc_version": {
3099
3099
  "type": "EFT_STAT",
3100
3100
  "overwrite_app_function": 0,
3101
- "addr": {
3102
- "src": "L",
3103
- "dst": "L"
3101
+ "AddrStmt": {
3102
+ "src": "Obj",
3103
+ "dst": "Ret"
3104
3104
  }
3105
3105
  },
3106
3106
  "gnutls_check_version": {
3107
3107
  "type": "EFT_STAT",
3108
3108
  "overwrite_app_function": 0,
3109
- "addr": {
3110
- "src": "L",
3111
- "dst": "L"
3109
+ "AddrStmt": {
3110
+ "src": "Obj",
3111
+ "dst": "Ret"
3112
3112
  }
3113
3113
  },
3114
3114
  "localeconv": {
3115
3115
  "type": "EFT_STAT",
3116
3116
  "overwrite_app_function": 0,
3117
- "addr": {
3118
- "src": "L",
3119
- "dst": "L"
3117
+ "AddrStmt": {
3118
+ "src": "Obj",
3119
+ "dst": "Ret"
3120
3120
  }
3121
3121
  },
3122
3122
  "localtime": {
3123
3123
  "type": "EFT_STAT",
3124
3124
  "overwrite_app_function": 0,
3125
- "addr": {
3126
- "src": "L",
3127
- "dst": "L"
3125
+ "AddrStmt": {
3126
+ "src": "Obj",
3127
+ "dst": "Ret"
3128
3128
  }
3129
3129
  },
3130
3130
  "ngettext": {
3131
3131
  "type": "EFT_STAT",
3132
3132
  "overwrite_app_function": 0,
3133
- "addr": {
3134
- "src": "L",
3135
- "dst": "L"
3133
+ "AddrStmt": {
3134
+ "src": "Obj",
3135
+ "dst": "Ret"
3136
3136
  }
3137
3137
  },
3138
3138
  "pango_cairo_font_map_get_default": {
3139
3139
  "type": "EFT_STAT",
3140
3140
  "overwrite_app_function": 0,
3141
- "addr": {
3142
- "src": "L",
3143
- "dst": "L"
3141
+ "AddrStmt": {
3142
+ "src": "Obj",
3143
+ "dst": "Ret"
3144
3144
  }
3145
3145
  },
3146
3146
  "re_comp": {
3147
3147
  "type": "EFT_STAT",
3148
3148
  "overwrite_app_function": 0,
3149
- "addr": {
3150
- "src": "L",
3151
- "dst": "L"
3149
+ "AddrStmt": {
3150
+ "src": "Obj",
3151
+ "dst": "Ret"
3152
3152
  }
3153
3153
  },
3154
3154
  "setlocale": {
3155
3155
  "type": "EFT_STAT",
3156
3156
  "overwrite_app_function": 0,
3157
- "addr": {
3158
- "src": "L",
3159
- "dst": "L"
3157
+ "AddrStmt": {
3158
+ "src": "Obj",
3159
+ "dst": "Ret"
3160
3160
  }
3161
3161
  },
3162
3162
  "tgoto": {
3163
3163
  "type": "EFT_STAT",
3164
3164
  "overwrite_app_function": 0,
3165
- "addr": {
3166
- "src": "L",
3167
- "dst": "L"
3165
+ "AddrStmt": {
3166
+ "src": "Obj",
3167
+ "dst": "Ret"
3168
3168
  }
3169
3169
  },
3170
3170
  "tparm": {
3171
3171
  "type": "EFT_STAT",
3172
3172
  "overwrite_app_function": 0,
3173
- "addr": {
3174
- "src": "L",
3175
- "dst": "L"
3173
+ "AddrStmt": {
3174
+ "src": "Obj",
3175
+ "dst": "Ret"
3176
3176
  }
3177
3177
  },
3178
3178
  "zError": {
3179
3179
  "type": "EFT_STAT",
3180
3180
  "overwrite_app_function": 0,
3181
- "addr": {
3182
- "src": "L",
3183
- "dst": "L"
3181
+ "AddrStmt": {
3182
+ "src": "Obj",
3183
+ "dst": "Ret"
3184
3184
  }
3185
3185
  },
3186
3186
  "getcwd": {
3187
3187
  "type": "EFT_REALLOC",
3188
3188
  "overwrite_app_function": 1,
3189
- "addr": {
3190
- "src": "L",
3191
- "dst": "L"
3189
+ "AddrStmt": {
3190
+ "src": "Obj",
3191
+ "dst": "Ret"
3192
3192
  }
3193
3193
  },
3194
3194
  "mem_realloc": {
3195
3195
  "type": "EFT_REALLOC",
3196
3196
  "overwrite_app_function": 1,
3197
- "addr": {
3198
- "src": "L",
3199
- "dst": "L"
3197
+ "AddrStmt": {
3198
+ "src": "Obj",
3199
+ "dst": "Ret"
3200
3200
  }
3201
3201
  },
3202
3202
  "realloc": {
3203
3203
  "type": "EFT_REALLOC",
3204
3204
  "overwrite_app_function": 1,
3205
- "addr": {
3206
- "src": "L",
3207
- "dst": "L"
3205
+ "AddrStmt": {
3206
+ "src": "Obj",
3207
+ "dst": "Ret"
3208
3208
  }
3209
3209
  },
3210
3210
  "realloc_obj": {
3211
3211
  "type": "EFT_REALLOC",
3212
3212
  "overwrite_app_function": 1,
3213
- "addr": {
3214
- "src": "L",
3215
- "dst": "L"
3213
+ "AddrStmt": {
3214
+ "src": "Obj",
3215
+ "dst": "Ret"
3216
3216
  }
3217
3217
  },
3218
3218
  "safe_realloc": {
3219
3219
  "type": "EFT_REALLOC",
3220
3220
  "overwrite_app_function": 1,
3221
- "addr": {
3222
- "src": "L",
3223
- "dst": "L"
3221
+ "AddrStmt": {
3222
+ "src": "Obj",
3223
+ "dst": "Ret"
3224
3224
  }
3225
3225
  },
3226
3226
  "saferealloc": {
3227
3227
  "type": "EFT_REALLOC",
3228
3228
  "overwrite_app_function": 1,
3229
- "addr": {
3230
- "src": "L",
3231
- "dst": "L"
3229
+ "AddrStmt": {
3230
+ "src": "Obj",
3231
+ "dst": "Ret"
3232
3232
  }
3233
3233
  },
3234
3234
  "safexrealloc": {
3235
3235
  "type": "EFT_REALLOC",
3236
3236
  "overwrite_app_function": 1,
3237
- "addr": {
3238
- "src": "L",
3239
- "dst": "L"
3237
+ "AddrStmt": {
3238
+ "src": "Obj",
3239
+ "dst": "Ret"
3240
3240
  }
3241
3241
  },
3242
3242
  "strtok": {
3243
3243
  "type": "EFT_REALLOC",
3244
3244
  "overwrite_app_function": 1,
3245
- "addr": {
3246
- "src": "L",
3247
- "dst": "L"
3245
+ "AddrStmt": {
3246
+ "src": "Obj",
3247
+ "dst": "Ret"
3248
3248
  }
3249
3249
  },
3250
3250
  "strtok_r": {
3251
3251
  "type": "EFT_REALLOC",
3252
3252
  "overwrite_app_function": 1,
3253
- "addr": {
3254
- "src": "L",
3255
- "dst": "L"
3253
+ "AddrStmt": {
3254
+ "src": "Obj",
3255
+ "dst": "Ret"
3256
3256
  }
3257
3257
  },
3258
3258
  "xrealloc": {
3259
3259
  "type": "EFT_REALLOC",
3260
3260
  "overwrite_app_function": 1,
3261
- "addr": {
3262
- "src": "L",
3263
- "dst": "L"
3261
+ "AddrStmt": {
3262
+ "src": "Obj",
3263
+ "dst": "Ret"
3264
3264
  }
3265
3265
  },
3266
3266
  "SSL_CTX_free": {
@@ -3382,890 +3382,914 @@
3382
3382
  "__rawmemchr": {
3383
3383
  "type": "EFT_L_A0",
3384
3384
  "overwrite_app_function": 0,
3385
- "copy": {
3386
- "src": "A0",
3387
- "dst": "L"
3385
+ "CopyStmt": {
3386
+ "src": "Arg0",
3387
+ "dst": "Ret"
3388
3388
  }
3389
3389
  },
3390
3390
  "cairo_surface_reference": {
3391
3391
  "type": "EFT_L_A0",
3392
3392
  "overwrite_app_function": 0,
3393
- "copy": {
3394
- "src": "A0",
3395
- "dst": "L"
3393
+ "CopyStmt": {
3394
+ "src": "Arg0",
3395
+ "dst": "Ret"
3396
3396
  }
3397
3397
  },
3398
3398
  "fgets": {
3399
3399
  "type": "EFT_L_A0",
3400
3400
  "overwrite_app_function": 0,
3401
- "copy": {
3402
- "src": "A0",
3403
- "dst": "L"
3401
+ "CopyStmt": {
3402
+ "src": "Arg0",
3403
+ "dst": "Ret"
3404
3404
  }
3405
3405
  },
3406
3406
  "jpeg_std_error": {
3407
3407
  "type": "EFT_L_A0",
3408
3408
  "overwrite_app_function": 0,
3409
- "copy": {
3410
- "src": "A0",
3411
- "dst": "L"
3409
+ "CopyStmt": {
3410
+ "src": "Arg0",
3411
+ "dst": "Ret"
3412
3412
  }
3413
3413
  },
3414
3414
  "memchr": {
3415
3415
  "type": "EFT_L_A0",
3416
3416
  "overwrite_app_function": 0,
3417
- "copy": {
3418
- "src": "A0",
3419
- "dst": "L"
3417
+ "CopyStmt": {
3418
+ "src": "Arg0",
3419
+ "dst": "Ret"
3420
3420
  }
3421
3421
  },
3422
3422
  "mremap": {
3423
3423
  "type": "EFT_L_A0",
3424
3424
  "overwrite_app_function": 0,
3425
- "copy": {
3426
- "src": "A0",
3427
- "dst": "L"
3425
+ "CopyStmt": {
3426
+ "src": "Arg0",
3427
+ "dst": "Ret"
3428
3428
  }
3429
3429
  },
3430
3430
  "strchr": {
3431
3431
  "type": "EFT_L_A0",
3432
3432
  "overwrite_app_function": 0,
3433
- "copy": {
3434
- "src": "A0",
3435
- "dst": "L"
3433
+ "CopyStmt": {
3434
+ "src": "Arg0",
3435
+ "dst": "Ret"
3436
3436
  }
3437
3437
  },
3438
3438
  "strerror_r": {
3439
3439
  "type": "EFT_L_A0",
3440
3440
  "overwrite_app_function": 0,
3441
- "copy": {
3442
- "src": "A0",
3443
- "dst": "L"
3441
+ "CopyStmt": {
3442
+ "src": "Arg0",
3443
+ "dst": "Ret"
3444
3444
  }
3445
3445
  },
3446
3446
  "strpbrk": {
3447
3447
  "type": "EFT_L_A0",
3448
3448
  "overwrite_app_function": 0,
3449
- "copy": {
3450
- "src": "A0",
3451
- "dst": "L"
3449
+ "CopyStmt": {
3450
+ "src": "Arg0",
3451
+ "dst": "Ret"
3452
3452
  }
3453
3453
  },
3454
3454
  "strptime": {
3455
3455
  "type": "EFT_L_A0",
3456
3456
  "overwrite_app_function": 0,
3457
- "copy": {
3458
- "src": "A0",
3459
- "dst": "L"
3457
+ "CopyStmt": {
3458
+ "src": "Arg0",
3459
+ "dst": "Ret"
3460
3460
  }
3461
3461
  },
3462
3462
  "strrchr": {
3463
3463
  "type": "EFT_L_A0",
3464
3464
  "overwrite_app_function": 0,
3465
- "copy": {
3466
- "src": "A0",
3467
- "dst": "L"
3465
+ "CopyStmt": {
3466
+ "src": "Arg0",
3467
+ "dst": "Ret"
3468
3468
  }
3469
3469
  },
3470
3470
  "strstr": {
3471
3471
  "type": "EFT_L_A0",
3472
3472
  "overwrite_app_function": 0,
3473
- "copy": {
3474
- "src": "A0",
3475
- "dst": "L"
3473
+ "CopyStmt": {
3474
+ "src": "Arg0",
3475
+ "dst": "Ret"
3476
3476
  }
3477
3477
  },
3478
3478
  "tmpnam_r": {
3479
3479
  "type": "EFT_L_A0",
3480
3480
  "overwrite_app_function": 0,
3481
- "copy": {
3482
- "src": "A0",
3483
- "dst": "L"
3481
+ "CopyStmt": {
3482
+ "src": "Arg0",
3483
+ "dst": "Ret"
3484
3484
  }
3485
3485
  },
3486
3486
  "isalnum": {
3487
3487
  "type": "EFT_L_A0",
3488
3488
  "overwrite_app_function": 0,
3489
- "copy": {
3490
- "src": "A0",
3491
- "dst": "L"
3489
+ "CopyStmt": {
3490
+ "src": "Arg0",
3491
+ "dst": "Ret"
3492
3492
  }
3493
3493
  },
3494
3494
  "isalpha": {
3495
3495
  "type": "EFT_L_A0",
3496
3496
  "overwrite_app_function": 0,
3497
- "copy": {
3498
- "src": "A0",
3499
- "dst": "L"
3497
+ "CopyStmt": {
3498
+ "src": "Arg0",
3499
+ "dst": "Ret"
3500
3500
  }
3501
3501
  },
3502
3502
  "isblank": {
3503
3503
  "type": "EFT_L_A0",
3504
3504
  "overwrite_app_function": 0,
3505
- "copy": {
3506
- "src": "A0",
3507
- "dst": "L"
3505
+ "CopyStmt": {
3506
+ "src": "Arg0",
3507
+ "dst": "Ret"
3508
3508
  }
3509
3509
  },
3510
3510
  "iscntrl": {
3511
3511
  "type": "EFT_L_A0",
3512
3512
  "overwrite_app_function": 0,
3513
- "copy": {
3514
- "src": "A0",
3515
- "dst": "L"
3513
+ "CopyStmt": {
3514
+ "src": "Arg0",
3515
+ "dst": "Ret"
3516
3516
  }
3517
3517
  },
3518
3518
  "isdigit": {
3519
3519
  "type": "EFT_L_A0",
3520
3520
  "overwrite_app_function": 0,
3521
- "copy": {
3522
- "src": "A0",
3523
- "dst": "L"
3521
+ "CopyStmt": {
3522
+ "src": "Arg0",
3523
+ "dst": "Ret"
3524
3524
  }
3525
3525
  },
3526
3526
  "isgraph": {
3527
3527
  "type": "EFT_L_A0",
3528
3528
  "overwrite_app_function": 0,
3529
- "copy": {
3530
- "src": "A0",
3531
- "dst": "L"
3529
+ "CopyStmt": {
3530
+ "src": "Arg0",
3531
+ "dst": "Ret"
3532
3532
  }
3533
3533
  },
3534
3534
  "islower": {
3535
3535
  "type": "EFT_L_A0",
3536
3536
  "overwrite_app_function": 0,
3537
- "copy": {
3538
- "src": "A0",
3539
- "dst": "L"
3537
+ "CopyStmt": {
3538
+ "src": "Arg0",
3539
+ "dst": "Ret"
3540
3540
  }
3541
3541
  },
3542
3542
  "isprint": {
3543
3543
  "type": "EFT_L_A0",
3544
3544
  "overwrite_app_function": 0,
3545
- "copy": {
3546
- "src": "A0",
3547
- "dst": "L"
3545
+ "CopyStmt": {
3546
+ "src": "Arg0",
3547
+ "dst": "Ret"
3548
3548
  }
3549
3549
  },
3550
3550
  "ispunct": {
3551
3551
  "type": "EFT_L_A0",
3552
3552
  "overwrite_app_function": 0,
3553
- "copy": {
3554
- "src": "A0",
3555
- "dst": "L"
3553
+ "CopyStmt": {
3554
+ "src": "Arg0",
3555
+ "dst": "Ret"
3556
3556
  }
3557
3557
  },
3558
3558
  "isspace": {
3559
3559
  "type": "EFT_L_A0",
3560
3560
  "overwrite_app_function": 0,
3561
- "copy": {
3562
- "src": "A0",
3563
- "dst": "L"
3561
+ "CopyStmt": {
3562
+ "src": "Arg0",
3563
+ "dst": "Ret"
3564
3564
  }
3565
3565
  },
3566
3566
  "isupper": {
3567
3567
  "type": "EFT_L_A0",
3568
3568
  "overwrite_app_function": 0,
3569
- "copy": {
3570
- "src": "A0",
3571
- "dst": "L"
3569
+ "CopyStmt": {
3570
+ "src": "Arg0",
3571
+ "dst": "Ret"
3572
3572
  }
3573
3573
  },
3574
3574
  "isxdigit": {
3575
3575
  "type": "EFT_L_A0",
3576
3576
  "overwrite_app_function": 0,
3577
- "copy": {
3578
- "src": "A0",
3579
- "dst": "L"
3577
+ "CopyStmt": {
3578
+ "src": "Arg0",
3579
+ "dst": "Ret"
3580
3580
  }
3581
3581
  },
3582
3582
  "asctime_r": {
3583
3583
  "type": "EFT_L_A1",
3584
3584
  "overwrite_app_function": 0,
3585
- "copy": {
3586
- "src": "A1",
3587
- "dst": "L"
3585
+ "CopyStmt": {
3586
+ "src": "Arg1",
3587
+ "dst": "Ret"
3588
3588
  }
3589
3589
  },
3590
3590
  "bsearch": {
3591
3591
  "type": "EFT_L_A1",
3592
3592
  "overwrite_app_function": 0,
3593
- "copy": {
3594
- "src": "A1",
3595
- "dst": "L"
3593
+ "CopyStmt": {
3594
+ "src": "Arg1",
3595
+ "dst": "Ret"
3596
3596
  }
3597
3597
  },
3598
3598
  "getmntent_r": {
3599
3599
  "type": "EFT_L_A1",
3600
3600
  "overwrite_app_function": 0,
3601
- "copy": {
3602
- "src": "A1",
3603
- "dst": "L"
3601
+ "CopyStmt": {
3602
+ "src": "Arg1",
3603
+ "dst": "Ret"
3604
3604
  }
3605
3605
  },
3606
3606
  "gmtime_r": {
3607
3607
  "type": "EFT_L_A1",
3608
3608
  "overwrite_app_function": 0,
3609
- "copy": {
3610
- "src": "A1",
3611
- "dst": "L"
3609
+ "CopyStmt": {
3610
+ "src": "Arg1",
3611
+ "dst": "Ret"
3612
3612
  }
3613
3613
  },
3614
3614
  "gzgets": {
3615
3615
  "type": "EFT_L_A1",
3616
3616
  "overwrite_app_function": 0,
3617
- "copy": {
3618
- "src": "A1",
3619
- "dst": "L"
3617
+ "CopyStmt": {
3618
+ "src": "Arg1",
3619
+ "dst": "Ret"
3620
3620
  }
3621
3621
  },
3622
3622
  "localtime_r": {
3623
3623
  "type": "EFT_L_A1",
3624
3624
  "overwrite_app_function": 0,
3625
- "copy": {
3626
- "src": "A1",
3627
- "dst": "L"
3625
+ "CopyStmt": {
3626
+ "src": "Arg1",
3627
+ "dst": "Ret"
3628
3628
  }
3629
3629
  },
3630
3630
  "realpath": {
3631
3631
  "type": "EFT_L_A1",
3632
3632
  "overwrite_app_function": 0,
3633
- "copy": {
3634
- "src": "A1",
3635
- "dst": "L"
3633
+ "CopyStmt": {
3634
+ "src": "Arg1",
3635
+ "dst": "Ret"
3636
3636
  }
3637
3637
  },
3638
3638
  "freopen64": {
3639
3639
  "type": "EFT_L_A2",
3640
3640
  "overwrite_app_function": 0,
3641
- "copy": {
3642
- "src": "A2",
3643
- "dst": "L"
3641
+ "CopyStmt": {
3642
+ "src": "Arg2",
3643
+ "dst": "Ret"
3644
3644
  }
3645
3645
  },
3646
3646
  "_XGetAsyncReply": {
3647
3647
  "type": "EFT_L_A2",
3648
3648
  "overwrite_app_function": 0,
3649
- "copy": {
3650
- "src": "A2",
3651
- "dst": "L"
3649
+ "CopyStmt": {
3650
+ "src": "Arg2",
3651
+ "dst": "Ret"
3652
3652
  }
3653
3653
  },
3654
3654
  "freopen": {
3655
3655
  "type": "EFT_L_A2",
3656
3656
  "overwrite_app_function": 0,
3657
- "copy": {
3658
- "src": "A2",
3659
- "dst": "L"
3657
+ "CopyStmt": {
3658
+ "src": "Arg2",
3659
+ "dst": "Ret"
3660
3660
  }
3661
3661
  },
3662
3662
  "inet_ntop": {
3663
3663
  "type": "EFT_L_A2",
3664
3664
  "overwrite_app_function": 0,
3665
- "copy": {
3666
- "src": "A2",
3667
- "dst": "L"
3665
+ "CopyStmt": {
3666
+ "src": "Arg2",
3667
+ "dst": "Ret"
3668
3668
  }
3669
3669
  },
3670
3670
  "XGetSubImage": {
3671
3671
  "type": "EFT_L_A8",
3672
3672
  "overwrite_app_function": 0,
3673
- "copy": {
3674
- "src": "A8",
3675
- "dst": "L"
3673
+ "CopyStmt": {
3674
+ "src": "Arg8",
3675
+ "dst": "Ret"
3676
3676
  }
3677
3677
  },
3678
- "memset": {
3679
- "type": "EFT_L_A0__A0R_A1",
3680
- "overwrite_app_function": 0,
3681
- "copy_n": ["A0", "A1", "A2"]
3682
- },
3683
3678
  "llvm.memset": {
3684
3679
  "type": "EFT_L_A0__A0R_A1",
3685
3680
  "overwrite_app_function": 0,
3686
- "copy_n": ["A0", "A1", "A2"]
3681
+ "memset_like": ["0", "1", "2"]
3687
3682
  },
3688
3683
  "llvm.memset.p0i8.i32": {
3689
3684
  "type": "EFT_L_A0__A0R_A1",
3690
3685
  "overwrite_app_function": 0,
3691
- "copy_n": ["A0", "A1", "A2"]
3686
+ "memset_like": ["0", "1", "2"]
3692
3687
  },
3693
3688
  "llvm.memset.p0i8.i64": {
3694
3689
  "type": "EFT_L_A0__A0R_A1",
3695
3690
  "overwrite_app_function": 0,
3696
- "copy_n": ["A0", "A1", "A2"]
3691
+ "memset_like": ["0", "1", "2"]
3697
3692
  },
3698
3693
  "__memset_chk": {
3699
3694
  "type": "EFT_L_A0__A0R_A1",
3700
3695
  "overwrite_app_function": 0,
3701
- "copy_n": ["A0", "A1", "A2"]
3696
+ "memset_like": ["0", "1", "2"]
3702
3697
  },
3703
3698
  "llvm.memcpy": {
3704
3699
  "type": "EFT_L_A0__A0R_A1R",
3705
3700
  "overwrite_app_function": 0,
3706
- "copy_mn": ["A0", "A1", "A2"],
3707
- "copy": ["A0", "L"]
3701
+ "memcpy_like": ["0", "1", "2"],
3702
+ "CopyStmt": {
3703
+ "src": "Arg0",
3704
+ "dst": "Ret"
3705
+ }
3708
3706
  },
3709
3707
  "llvm.memcpy.p0i8.p0i8.i32": {
3710
3708
  "type": "EFT_L_A0__A0R_A1R",
3711
3709
  "overwrite_app_function": 0,
3712
- "copy_mn": ["A0", "A1", "A2"],
3713
- "copy": ["A0", "L"]
3710
+ "memcpy_like": ["0", "1", "2"],
3711
+ "CopyStmt": {
3712
+ "src": "Arg0",
3713
+ "dst": "Ret"
3714
+ }
3714
3715
  },
3715
3716
  "llvm.memcpy.p0i8.p0i8.i64": {
3716
3717
  "type": "EFT_L_A0__A0R_A1R",
3717
3718
  "overwrite_app_function": 0,
3718
- "copy_mn": ["A0", "A1", "A2"],
3719
- "copy": ["A0", "L"]
3719
+ "memcpy_like": ["0", "1", "2"],
3720
+ "CopyStmt": {
3721
+ "src": "Arg0",
3722
+ "dst": "Ret"
3723
+ }
3720
3724
  },
3721
3725
  "llvm.memmove": {
3722
3726
  "type": "EFT_L_A0__A0R_A1R",
3723
3727
  "overwrite_app_function": 0,
3724
- "copy_mn": ["A0", "A1", "A2"],
3725
- "copy": ["A0", "L"]
3728
+ "memcpy_like": ["0", "1", "2"],
3729
+ "CopyStmt": {
3730
+ "src": "Arg0",
3731
+ "dst": "Ret"
3732
+ }
3726
3733
  },
3727
3734
  "llvm.memmove.p0i8.p0i8.i32": {
3728
3735
  "type": "EFT_L_A0__A0R_A1R",
3729
3736
  "overwrite_app_function": 0,
3730
- "copy_mn": ["A0", "A1", "A2"],
3731
- "copy": ["A0", "L"]
3737
+ "memcpy_like": ["0", "1", "2"],
3738
+ "CopyStmt": {
3739
+ "src": "Arg0",
3740
+ "dst": "Ret"
3741
+ }
3732
3742
  },
3733
3743
  "llvm.memmove.p0i8.p0i8.i64": {
3734
3744
  "type": "EFT_L_A0__A0R_A1R",
3735
3745
  "overwrite_app_function": 0,
3736
- "copy_mn": ["A0", "A1", "A2"],
3737
- "copy": ["A0", "L"]
3746
+ "memcpy_like": ["0", "1", "2"],
3747
+ "CopyStmt": {
3748
+ "src": "Arg0",
3749
+ "dst": "Ret"
3750
+ }
3738
3751
  },
3739
3752
  "memccpy": {
3740
3753
  "type": "EFT_L_A0__A0R_A1R",
3741
3754
  "overwrite_app_function": 0,
3742
- "copy_mn": ["A0", "A1", "A2"],
3743
- "copy": ["A0", "L"]
3755
+ "memcpy_like": ["0", "1", "2"],
3756
+ "CopyStmt": {
3757
+ "src": "Arg0",
3758
+ "dst": "Ret"
3759
+ }
3744
3760
  },
3745
3761
  "memcpy": {
3746
3762
  "type": "EFT_L_A0__A0R_A1R",
3747
3763
  "overwrite_app_function": 0,
3748
- "copy_mn": ["A0", "A1", "A2"],
3749
- "copy": ["A0", "L"]
3764
+ "memcpy_like": ["0", "1", "2"],
3765
+ "CopyStmt": {
3766
+ "src": "Arg0",
3767
+ "dst": "Ret"
3768
+ }
3750
3769
  },
3751
3770
  "memmove": {
3752
3771
  "type": "EFT_L_A0__A0R_A1R",
3753
3772
  "overwrite_app_function": 0,
3754
- "copy_mn": ["A0", "A1", "A2"],
3755
- "copy": ["A0", "L"]
3773
+ "memcpy_like": ["0", "1", "2"],
3774
+ "CopyStmt": {
3775
+ "src": "Arg0",
3776
+ "dst": "Ret"
3777
+ }
3756
3778
  },
3757
3779
  "dlsym": {
3758
3780
  "type": "EFT_L_A1__FunPtr",
3759
3781
  "overwrite_app_function": 0,
3760
- "funptr": {
3761
- "src": "A1",
3762
- "dst": "A1"
3763
- }
3782
+ "funptr_ops": ["Arg1"]
3764
3783
  },
3765
3784
  "bcopy": {
3766
3785
  "type": "EFT_A1R_A0R",
3767
3786
  "overwrite_app_function": 0,
3768
- "copy_mn": ["A1", "A0", "A2"]
3787
+ "memcpy_like": ["1", "0", "2"]
3769
3788
  },
3770
3789
  "iconv": {
3771
3790
  "type": "EFT_A3R_A1R_NS",
3772
3791
  "overwrite_app_function": 0,
3773
- "copy_mn": ["A3", "A1"]
3792
+ "memcpy_like": ["3", "1"]
3774
3793
  },
3775
3794
  "strtod": {
3776
3795
  "type": "EFT_A1R_A0",
3777
3796
  "overwrite_app_function": 0,
3778
- "store": {
3779
- "src": "A0",
3780
- "dst": "A1"
3797
+ "StoreStmt": {
3798
+ "src": "Arg0",
3799
+ "dst": "Arg1"
3781
3800
  }
3782
3801
  },
3783
3802
  "strtof": {
3784
3803
  "type": "EFT_A1R_A0",
3785
3804
  "overwrite_app_function": 0,
3786
- "store": {
3787
- "src": "A0",
3788
- "dst": "A1"
3805
+ "StoreStmt": {
3806
+ "src": "Arg0",
3807
+ "dst": "Arg1"
3789
3808
  }
3790
3809
  },
3791
3810
  "strtol": {
3792
3811
  "type": "EFT_A1R_A0",
3793
3812
  "overwrite_app_function": 0,
3794
- "store": {
3795
- "src": "A0",
3796
- "dst": "A1"
3813
+ "StoreStmt": {
3814
+ "src": "Arg0",
3815
+ "dst": "Arg1"
3797
3816
  }
3798
3817
  },
3799
3818
  "strtold": {
3800
3819
  "type": "EFT_A1R_A0",
3801
3820
  "overwrite_app_function": 0,
3802
- "store": {
3803
- "src": "A0",
3804
- "dst": "A1"
3821
+ "StoreStmt": {
3822
+ "src": "Arg0",
3823
+ "dst": "Arg1"
3805
3824
  }
3806
3825
  },
3807
3826
  "strtoll": {
3808
3827
  "type": "EFT_A1R_A0",
3809
3828
  "overwrite_app_function": 0,
3810
- "store": {
3811
- "src": "A0",
3812
- "dst": "A1"
3829
+ "StoreStmt": {
3830
+ "src": "Arg0",
3831
+ "dst": "Arg1"
3813
3832
  }
3814
3833
  },
3815
3834
  "strtoul": {
3816
3835
  "type": "EFT_A1R_A0",
3817
3836
  "overwrite_app_function": 0,
3818
- "store": {
3819
- "src": "A0",
3820
- "dst": "A1"
3837
+ "StoreStmt": {
3838
+ "src": "Arg0",
3839
+ "dst": "Arg1"
3821
3840
  }
3822
3841
  },
3823
3842
  "readdir_r":{
3824
3843
  "type": "EFT_A2R_A1",
3825
3844
  "overwrite_app_function": 0,
3826
- "store": {
3827
- "src": "A1",
3828
- "dst": "A2"
3845
+ "StoreStmt": {
3846
+ "src": "Arg1",
3847
+ "dst": "Arg2"
3829
3848
  }
3830
3849
  },
3831
3850
  "__strcpy_chk": {
3832
3851
  "type": "EFT_L_A0__A1_A0",
3833
3852
  "overwrite_app_function": 0,
3834
- "copy_mn": ["A0", "A1", "A2"],
3835
- "copy": ["A0", "L"]
3853
+ "memcpy_like": ["0", "1", "2"],
3854
+ "CopyStmt": {
3855
+ "src": "Arg0",
3856
+ "dst": "Ret"
3857
+ }
3836
3858
  },
3837
3859
  "__strcat_chk": {
3838
3860
  "type": "EFT_L_A0__A1_A0",
3839
3861
  "overwrite_app_function": 0,
3840
- "copy_mn": ["A0", "A1", "A2"],
3841
- "copy": ["A0", "L"]
3862
+ "memcpy_like": ["0", "1", "2"],
3863
+ "CopyStmt": {
3864
+ "src": "Arg0",
3865
+ "dst": "Ret"
3866
+ }
3842
3867
  },
3843
3868
  "stpcpy": {
3844
3869
  "type": "EFT_L_A0__A1_A0",
3845
3870
  "overwrite_app_function": 0,
3846
- "copy_mn": ["A0", "A1"],
3847
- "copy": ["A0", "L"]
3871
+ "memcpy_like": ["0", "1", "2"],
3872
+ "CopyStmt": {
3873
+ "src": "Arg0",
3874
+ "dst": "Ret"
3875
+ }
3848
3876
  },
3849
3877
  "strcat": {
3850
3878
  "type": "EFT_L_A0__A1_A0",
3851
3879
  "overwrite_app_function": 0,
3852
- "copy_mn": ["A0", "A1"],
3853
- "copy": ["A0", "L"]
3880
+ "memcpy_like": ["0", "1", "2"],
3881
+ "CopyStmt": {
3882
+ "src": "Arg0",
3883
+ "dst": "Ret"
3884
+ }
3854
3885
  },
3855
3886
  "strcpy": {
3856
3887
  "type": "EFT_L_A0__A1_A0",
3857
3888
  "overwrite_app_function": 0,
3858
- "copy_mn": ["A0", "A1"],
3859
- "copy": ["A0", "L"]
3889
+ "memcpy_like": ["0", "1", "2"],
3890
+ "CopyStmt": {
3891
+ "src": "Arg0",
3892
+ "dst": "Ret"
3893
+ }
3860
3894
  },
3861
3895
  "strncat": {
3862
3896
  "type": "EFT_L_A0__A1_A0",
3863
3897
  "overwrite_app_function": 0,
3864
- "copy_mn": ["A0", "A1", "A2"],
3865
- "copy": ["A0", "L"]
3898
+ "memcpy_like": ["0", "1", "2"],
3899
+ "CopyStmt": {
3900
+ "src": "Arg0",
3901
+ "dst": "Ret"
3902
+ }
3866
3903
  },
3867
3904
  "strncpy": {
3868
3905
  "type": "EFT_L_A0__A1_A0",
3869
3906
  "overwrite_app_function": 0,
3870
- "copy_mn": ["A0", "A1", "A2"],
3871
- "copy": ["A0", "L"]
3907
+ "memcpy_like": ["0", "1", "2"],
3908
+ "CopyStmt": {
3909
+ "src": "Arg0",
3910
+ "dst": "Ret"
3911
+ }
3872
3912
  },
3873
3913
  "getpwnam_r":{
3874
3914
  "type": "EFT_A4R_A1",
3875
3915
  "overwrite_app_function": 0,
3876
- "store": {
3877
- "src": "A1",
3878
- "dst": "A4"
3916
+ "StoreStmt": {
3917
+ "src": "Arg1",
3918
+ "dst": "Arg4"
3879
3919
  }
3880
3920
  },
3881
3921
  "getpwuid_r":{
3882
3922
  "type": "EFT_A4R_A1",
3883
3923
  "overwrite_app_function": 0,
3884
- "store": {
3885
- "src": "A1",
3886
- "dst": "A4"
3924
+ "StoreStmt": {
3925
+ "src": "Arg1",
3926
+ "dst": "Arg4"
3887
3927
  }
3888
3928
  },
3889
3929
  "db_create": {
3890
3930
  "type": "EFT_A0R_NEW",
3891
3931
  "overwrite_app_function": 0,
3892
- "addr": {
3893
- "src": "Dummy",
3932
+ "AddrStmt": {
3933
+ "src": "Obj",
3894
3934
  "dst": "Dummy"
3895
3935
  },
3896
- "store": {
3936
+ "StoreStmt": {
3897
3937
  "src": "Dummy",
3898
- "dst": "A0"
3938
+ "dst": "Arg0"
3899
3939
  }
3900
3940
  },
3901
3941
  "gcry_mpi_scan": {
3902
3942
  "type": "EFT_A0R_NEW",
3903
3943
  "overwrite_app_function": 0,
3904
- "addr": {
3905
- "src": "Dummy",
3944
+ "AddrStmt": {
3945
+ "src": "Obj",
3906
3946
  "dst": "Dummy"
3907
3947
  },
3908
- "store": {
3948
+ "StoreStmt": {
3909
3949
  "src": "Dummy",
3910
- "dst": "A0"
3950
+ "dst": "Arg0"
3911
3951
  }
3912
3952
  },
3913
3953
  "gcry_pk_decrypt": {
3914
3954
  "type": "EFT_A0R_NEW",
3915
3955
  "overwrite_app_function": 0,
3916
- "addr": {
3917
- "src": "Dummy",
3956
+ "AddrStmt": {
3957
+ "src": "Obj",
3918
3958
  "dst": "Dummy"
3919
3959
  },
3920
- "store": {
3960
+ "StoreStmt": {
3921
3961
  "src": "Dummy",
3922
- "dst": "A0"
3962
+ "dst": "Arg0"
3923
3963
  }
3924
3964
  },
3925
3965
  "gcry_sexp_build": {
3926
3966
  "type": "EFT_A0R_NEW",
3927
3967
  "overwrite_app_function": 0,
3928
- "addr": {
3929
- "src": "Dummy",
3968
+ "AddrStmt": {
3969
+ "src": "Obj",
3930
3970
  "dst": "Dummy"
3931
3971
  },
3932
- "store": {
3972
+ "StoreStmt": {
3933
3973
  "src": "Dummy",
3934
- "dst": "A0"
3974
+ "dst": "Arg0"
3935
3975
  }
3936
3976
  },
3937
3977
  "gnutls_pkcs12_bag_init": {
3938
3978
  "type": "EFT_A0R_NEW",
3939
3979
  "overwrite_app_function": 0,
3940
- "addr": {
3941
- "src": "Dummy",
3980
+ "AddrStmt": {
3981
+ "src": "Obj",
3942
3982
  "dst": "Dummy"
3943
3983
  },
3944
- "store": {
3984
+ "StoreStmt": {
3945
3985
  "src": "Dummy",
3946
- "dst": "A0"
3986
+ "dst": "Arg0"
3947
3987
  }
3948
3988
  },
3949
3989
  "gnutls_pkcs12_init": {
3950
3990
  "type": "EFT_A0R_NEW",
3951
3991
  "overwrite_app_function": 0,
3952
- "addr": {
3953
- "src": "Dummy",
3992
+ "AddrStmt": {
3993
+ "src": "Obj",
3954
3994
  "dst": "Dummy"
3955
3995
  },
3956
- "store": {
3996
+ "StoreStmt": {
3957
3997
  "src": "Dummy",
3958
- "dst": "A0"
3998
+ "dst": "Arg0"
3959
3999
  }
3960
4000
  },
3961
4001
  "gnutls_x509_crt_init": {
3962
4002
  "type": "EFT_A0R_NEW",
3963
4003
  "overwrite_app_function": 0,
3964
- "addr": {
3965
- "src": "Dummy",
4004
+ "AddrStmt": {
4005
+ "src": "Obj",
3966
4006
  "dst": "Dummy"
3967
4007
  },
3968
- "store": {
4008
+ "StoreStmt": {
3969
4009
  "src": "Dummy",
3970
- "dst": "A0"
4010
+ "dst": "Arg0"
3971
4011
  }
3972
4012
  },
3973
4013
  "gnutls_x509_privkey_init": {
3974
4014
  "type": "EFT_A0R_NEW",
3975
4015
  "overwrite_app_function": 0,
3976
- "addr": {
3977
- "src": "Dummy",
4016
+ "AddrStmt": {
4017
+ "src": "Obj",
3978
4018
  "dst": "Dummy"
3979
4019
  },
3980
- "store": {
4020
+ "StoreStmt": {
3981
4021
  "src": "Dummy",
3982
- "dst": "A0"
4022
+ "dst": "Arg0"
3983
4023
  }
3984
4024
  },
3985
4025
  "posix_memalign": {
3986
4026
  "type": "EFT_A0R_NEW",
3987
4027
  "overwrite_app_function": 0,
3988
- "addr": {
3989
- "src": "Dummy",
4028
+ "AddrStmt": {
4029
+ "src": "Obj",
3990
4030
  "dst": "Dummy"
3991
4031
  },
3992
- "store": {
4032
+ "StoreStmt": {
3993
4033
  "src": "Dummy",
3994
- "dst": "A0"
4034
+ "dst": "Arg0"
3995
4035
  }
3996
4036
  },
3997
4037
  "scandir": {
3998
4038
  "type": "EFT_A1R_NEW",
3999
4039
  "overwrite_app_function": 0,
4000
- "addr": {
4001
- "src": "Dummy",
4040
+ "AddrStmt": {
4041
+ "src": "Obj",
4002
4042
  "dst": "Dummy"
4003
4043
  },
4004
- "store": {
4044
+ "StoreStmt": {
4005
4045
  "src": "Dummy",
4006
- "dst": "A1"
4046
+ "dst": "Arg1"
4007
4047
  }
4008
4048
  },
4009
4049
  "XGetRGBColormaps": {
4010
4050
  "type": "EFT_A2R_NEW",
4011
4051
  "overwrite_app_function": 0,
4012
- "addr": {
4013
- "src": "Dummy",
4052
+ "AddrStmt": {
4053
+ "src": "Obj",
4014
4054
  "dst": "Dummy"
4015
4055
  },
4016
- "store": {
4056
+ "StoreStmt": {
4017
4057
  "src": "Dummy",
4018
- "dst": "A2"
4058
+ "dst": "Arg2"
4019
4059
  }
4020
4060
  },
4021
4061
  "XmbTextPropertyToTextList": {
4022
4062
  "type": "EFT_A2R_NEW",
4023
4063
  "overwrite_app_function": 0,
4024
- "addr": {
4025
- "src": "Dummy",
4064
+ "AddrStmt": {
4065
+ "src": "Obj",
4026
4066
  "dst": "Dummy"
4027
4067
  },
4028
- "store": {
4068
+ "StoreStmt": {
4029
4069
  "src": "Dummy",
4030
- "dst": "A2"
4070
+ "dst": "Arg2"
4031
4071
  }
4032
4072
  },
4033
4073
  "SRE_SplSpecCreate": {
4034
4074
  "type": "EFT_A2R_NEW",
4035
4075
  "overwrite_app_function": 0,
4036
- "addr": {
4037
- "src": "Dummy",
4076
+ "AddrStmt": {
4077
+ "src": "Obj",
4038
4078
  "dst": "Dummy"
4039
4079
  },
4040
- "store": {
4080
+ "StoreStmt": {
4041
4081
  "src": "Dummy",
4042
- "dst": "A2"
4082
+ "dst": "Arg2"
4043
4083
  }
4044
4084
  },
4045
4085
  "XQueryTree": {
4046
4086
  "type": "EFT_A4R_NEW",
4047
4087
  "overwrite_app_function": 0,
4048
- "addr": {
4049
- "src": "Dummy",
4088
+ "AddrStmt": {
4089
+ "src": "Obj",
4050
4090
  "dst": "Dummy"
4051
4091
  },
4052
- "store": {
4092
+ "StoreStmt": {
4053
4093
  "src": "Dummy",
4054
- "dst": "A4"
4094
+ "dst": "Arg4"
4055
4095
  }
4056
4096
  },
4057
4097
  "XGetWindowProperty": {
4058
4098
  "type": "EFT_A11R_NEW",
4059
4099
  "overwrite_app_function": 0,
4060
- "addr": {
4061
- "src": "Dummy",
4100
+ "AddrStmt": {
4101
+ "src": "Obj",
4062
4102
  "dst": "Dummy"
4063
4103
  },
4064
- "store": {
4104
+ "StoreStmt": {
4065
4105
  "src": "Dummy",
4066
- "dst": "A11"
4106
+ "dst": "Arg11"
4067
4107
  }
4068
4108
  },
4069
4109
  "_ZSt29_Rb_tree_insert_and_rebalancebPSt18_Rb_tree_node_baseS0_RS_":{
4070
4110
  "type": "EFT_STD_RB_TREE_INSERT_AND_REBALANCE",
4071
4111
  "overwrite_app_function": 0,
4072
- "complex": {
4073
- "src": "A1",
4074
- "dst": "A3"
4112
+ "Rb_tree_ops": {
4113
+ "src": "Arg1",
4114
+ "dst": "Arg3"
4075
4115
  }
4076
4116
  },
4077
4117
  "_ZNSt8__detail15_List_node_base7_M_hookEPS0_":{
4078
4118
  "type": "EFT_STD_LIST_HOOK",
4079
4119
  "overwrite_app_function": 0,
4080
- "store": {
4081
- "src": "A0",
4082
- "dst": "A1"
4120
+ "StoreStmt": {
4121
+ "src": "Arg0",
4122
+ "dst": "Arg1"
4083
4123
  }
4084
4124
  },
4085
4125
  "_ZNSsC1EPKcRKSaIcE":{
4086
4126
  "type": "CPP_EFT_A0R_A1",
4087
4127
  "overwrite_app_function": 0,
4088
- "store": {
4089
- "src": "A1",
4090
- "dst": "A0"
4128
+ "StoreStmt": {
4129
+ "src": "Arg1",
4130
+ "dst": "Arg0"
4091
4131
  }
4092
4132
  },
4093
4133
  "_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1EPKcRKS3_":{
4094
4134
  "type": "CPP_EFT_A0R_A1",
4095
4135
  "overwrite_app_function": 0,
4096
- "store": {
4097
- "src": "A1",
4098
- "dst": "A0"
4136
+ "StoreStmt": {
4137
+ "src": "Arg1",
4138
+ "dst": "Arg0"
4099
4139
  }
4100
4140
  },
4101
4141
  "_ZNSsC1EPKcmRKSaIcE":{
4102
4142
  "type": "CPP_EFT_A0R_A1",
4103
4143
  "overwrite_app_function": 0,
4104
- "store": {
4105
- "src": "A1",
4106
- "dst": "A0"
4144
+ "StoreStmt": {
4145
+ "src": "Arg1",
4146
+ "dst": "Arg0"
4107
4147
  }
4108
4148
  },
4109
4149
  "_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1EPKcmRKS3_":{
4110
4150
  "type": "CPP_EFT_A0R_A1",
4111
4151
  "overwrite_app_function": 0,
4112
- "store": {
4113
- "src": "A1",
4114
- "dst": "A0"
4152
+ "StoreStmt": {
4153
+ "src": "Arg1",
4154
+ "dst": "Arg0"
4115
4155
  }
4116
4156
  },
4117
4157
  "_ZNSsaSEPKc":{
4118
4158
  "type": "CPP_EFT_A0R_A1",
4119
4159
  "overwrite_app_function": 0,
4120
- "store": {
4121
- "src": "A1",
4122
- "dst": "A0"
4160
+ "StoreStmt": {
4161
+ "src": "Arg1",
4162
+ "dst": "Arg0"
4123
4163
  }
4124
4164
  },
4125
4165
  "_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEPKc":{
4126
4166
  "type": "CPP_EFT_A0R_A1",
4127
4167
  "overwrite_app_function": 0,
4128
- "store": {
4129
- "src": "A1",
4130
- "dst": "A0"
4168
+ "StoreStmt": {
4169
+ "src": "Arg1",
4170
+ "dst": "Arg0"
4131
4171
  }
4132
4172
  },
4133
4173
  "_ZNSsC1ERKSs":{
4134
4174
  "type": "CPP_EFT_A0R_A1R",
4135
4175
  "overwrite_app_function": 0,
4136
- "compound": {
4137
- "load": {
4138
- "src": "A1",
4139
- "dst": "Dummy"
4140
- },
4141
- "store": {
4142
- "src": "Dummy",
4143
- "dst": "A0"
4144
- }
4176
+ "LoadStmt": {
4177
+ "src": "Arg1",
4178
+ "dst": "Dummy"
4179
+ },
4180
+ "StoreStmt": {
4181
+ "src": "Dummy",
4182
+ "dst": "Arg0"
4145
4183
  }
4146
4184
  },
4147
4185
  "_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1ERKS4_":{
4148
4186
  "type": "CPP_EFT_A0R_A1R",
4149
4187
  "overwrite_app_function": 0,
4150
- "compound": {
4151
- "load": {
4152
- "src": "A1",
4153
- "dst": "Dummy"
4154
- },
4155
- "store": {
4156
- "src": "Dummy",
4157
- "dst": "A0"
4158
- }
4188
+ "LoadStmt": {
4189
+ "src": "Arg1",
4190
+ "dst": "Dummy"
4191
+ },
4192
+ "StoreStmt": {
4193
+ "src": "Dummy",
4194
+ "dst": "Arg0"
4159
4195
  }
4160
4196
  },
4161
4197
  "_ZNSsC1ERKSsmm":{
4162
4198
  "type": "CPP_EFT_A0R_A1R",
4163
4199
  "overwrite_app_function": 0,
4164
- "compound": {
4165
- "load": {
4166
- "src": "A1",
4167
- "dst": "Dummy"
4168
- },
4169
- "store": {
4170
- "src": "Dummy",
4171
- "dst": "A0"
4172
- }
4200
+ "LoadStmt": {
4201
+ "src": "Arg1",
4202
+ "dst": "Dummy"
4203
+ },
4204
+ "StoreStmt": {
4205
+ "src": "Dummy",
4206
+ "dst": "Arg0"
4173
4207
  }
4174
4208
  },
4175
4209
  "_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1ERKS4_mm":{
4176
4210
  "type": "CPP_EFT_A0R_A1R",
4177
4211
  "overwrite_app_function": 0,
4178
- "compound": {
4179
- "load": {
4180
- "src": "A1",
4181
- "dst": "Dummy"
4182
- },
4183
- "store": {
4184
- "src": "Dummy",
4185
- "dst": "A0"
4186
- }
4212
+ "LoadStmt": {
4213
+ "src": "Arg1",
4214
+ "dst": "Dummy"
4215
+ },
4216
+ "StoreStmt": {
4217
+ "src": "Dummy",
4218
+ "dst": "Arg0"
4187
4219
  }
4188
4220
  },
4189
4221
  "_ZNSsaSERKSs":{
4190
4222
  "type": "CPP_EFT_A0R_A1R",
4191
4223
  "overwrite_app_function": 0,
4192
- "compound": {
4193
- "load": {
4194
- "src": "A1",
4195
- "dst": "Dummy"
4196
- },
4197
- "store": {
4198
- "src": "Dummy",
4199
- "dst": "A0"
4200
- }
4224
+ "LoadStmt": {
4225
+ "src": "Arg1",
4226
+ "dst": "Dummy"
4227
+ },
4228
+ "StoreStmt": {
4229
+ "src": "Dummy",
4230
+ "dst": "Arg0"
4201
4231
  }
4202
4232
  },
4203
4233
  "_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSERKS4_":{
4204
4234
  "type": "CPP_EFT_A0R_A1R",
4205
4235
  "overwrite_app_function": 0,
4206
- "compound": {
4207
- "load": {
4208
- "src": "A1",
4209
- "dst": "Dummy"
4210
- },
4211
- "store": {
4212
- "src": "Dummy",
4213
- "dst": "A0"
4214
- }
4236
+ "LoadStmt": {
4237
+ "src": "Arg1",
4238
+ "dst": "Dummy"
4239
+ },
4240
+ "StoreStmt": {
4241
+ "src": "Dummy",
4242
+ "dst": "Arg0"
4215
4243
  }
4216
4244
  },
4217
4245
  "_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEOS4_":{
4218
4246
  "type": "CPP_EFT_A0R_A1R",
4219
4247
  "overwrite_app_function": 0,
4220
- "compound": {
4221
- "load": {
4222
- "src": "A1",
4223
- "dst": "Dummy"
4224
- },
4225
- "store": {
4226
- "src": "Dummy",
4227
- "dst": "A0"
4228
- }
4248
+ "LoadStmt": {
4249
+ "src": "Arg1",
4250
+ "dst": "Dummy"
4251
+ },
4252
+ "StoreStmt": {
4253
+ "src": "Dummy",
4254
+ "dst": "Arg0"
4229
4255
  }
4230
4256
  },
4231
4257
  "_ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKSbIS4_S5_T1_E":{
4232
4258
  "type": "CPP_EFT_A1R",
4233
4259
  "overwrite_app_function": 0,
4234
- "load": {
4235
- "src": "A1",
4260
+ "LoadStmt": {
4261
+ "src": "Arg1",
4236
4262
  "dst": "Dummy"
4237
4263
  }
4238
4264
  },
4239
4265
  "_ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKNSt7__cxx1112basic_stringIS4_S5_T1_EE":{
4240
4266
  "type": "CPP_EFT_A1R",
4241
4267
  "overwrite_app_function": 0,
4242
- "load": {
4243
- "src": "A1",
4268
+ "LoadStmt": {
4269
+ "src": "Arg1",
4244
4270
  "dst": "Dummy"
4245
4271
  }
4246
4272
  },
4247
4273
  "__dynamic_cast":{
4248
4274
  "type": "CPP_EFT_DYNAMIC_CAST",
4249
4275
  "overwrite_app_function": 0,
4250
- "copy": {
4251
- "src": "A0",
4252
- "dst": "L"
4276
+ "CopyStmt": {
4277
+ "src": "Arg0",
4278
+ "dst": "Ret"
4253
4279
  }
4254
4280
  },
4255
4281
  "_ZNSt5arrayIPK1ALm2EE4backEv":{
4256
4282
  "type": "CPP_EFT_DYNAMIC_CAST",
4257
4283
  "overwrite_app_function": 1,
4258
- "compound": {
4259
- "gep": {
4260
- "src": "A0",
4261
- "dst": "Dummy",
4262
- "offset": "0"
4263
- },
4264
- "gep": {
4265
- "src": "Dummy",
4266
- "dst": "L",
4267
- "offset": "0"
4268
- }
4284
+ "GepStmt1": {
4285
+ "src": "Arg0",
4286
+ "dst": "Dummy",
4287
+ "offset": "0"
4288
+ },
4289
+ "GepStmt2": {
4290
+ "src": "Dummy",
4291
+ "dst": "Ret",
4292
+ "offset": "0"
4269
4293
  }
4270
4294
  }
4271
4295
  }