如何研究静态分析？(How to study static analysis? [closed])
我已经阅读了很多关于静态分析的论文和教程，但我仍然觉得我在静态分析中没有接近中级水平。 我想一步一步地开始，深入了解这个主题。
那么......我该如何去学习程序/静态分析？ 什么是最好的方式？ 有没有最好的静态分析书？ 从哪里可以开始？
我真的希望这个问题能够收集每年发布的关于静态分析的数十种材料中的少数珍珠。
I have read many papers and tutorials around on static analysis, but still I don't feel I have come closer to intermediate level in static analysis. I would like to begin step by step and get a deep knowldedge into the subject.
So... How should I go studying program/static analysis? What's the best way? Is there any best book for static analysis? From where can I start?
I would really like this question to manage to collect the few pearls among the dozens of material about static analysis that are published every year.
原文：https://stackoverflow.com/questions/24705320
更新时间：2023-03-10 12:03
最满意答案
为什么不添加总冰面积而不是将其改为1？
from netCDF4 import Dataset import numpy as np Data = Dataset('Ice.nc','r') ICE = np.squeeze(np.squeeze(Data.variables['sic'][:])) Lat = Data.variables['latitude'][:] Lon = Data.variables['longitude'][:] Ice_Exten = np.zeros((360,180)) for i in range(0,360): for j in range(90,180): #just northern hemisphere if ICE[j,i] > 0.15 and ICE[j,i] <= 1.0: Ice_Exten[i,j] = 12321. * np.cos(np.radians(j-90.)) * ICE[j,i] print np.sum(Ice_Exten)/1e6输出：
12.7085786161There was no issue with the code; rather the discrepancies were due to the land/sea mask being used, and interpolation.
相关问答
更多-
计算面积(Calculating the area)[2022-04-30]
问题是triangleArea在 double pryrmid = Program.pyramidVolume( triangleArea); 不是变量，因此它指向静态方法。 试试double pryrmid = Program.pyramidVolume( area); 代替。 The problem is that triangleArea in double pryrmid = Program.pyramidVolume( triangleArea); is not a variable, hence ... -
为什么不添加总冰面积而不是将其改为1？ from netCDF4 import Dataset import numpy as np Data = Dataset('Ice.nc','r') ICE = np.squeeze(np.squeeze(Data.variables['sic'][:])) Lat = Data.variables['latitude'][:] Lon = Data.variables['longitude'][:] Ice_Exten = np.zeros((360,180 ...
-
考虑一下这一点，答案是您需要将径向数据转换为笛卡尔空间： import copy # fake....err, simulated... data # elevation X, Y = np.meshgrid(np.linspace(-50, 50, 1024), np.linspace(-50, 50, 1024)) elv = np.sin(np.pi * X / 50) * np.cos(2*np.pi * Y / 50) # radar R, theta = np.meshgrid(np.lin ...
-
编辑：可能更符合您的要求： breaks <- quantile(data$vis) qplot(x=x, y=y, data = data, color = vis) + scale_colour_gradientn(breaks = as.vector(breaks), colours = c("grey", "blue", "red"), values = as.vector(breaks), oob = identity, rescaler = function( ...
-
“网格化”数据的变异函数(Variogram for a “gridded” data)[2023-08-24]
我怀疑你需要一个SpatialPointsDataFrame来使用variogram函数。 因此，您必须先转换data frame 。 假设你的数据框有3列x ， y和z data_sp <- data coordinates(data_sp) = ~x + y str(data_sp) I suspect that you need a SpatialPointsDataFrame to use variogram function. So you have to convert your data f ... -
如果我理解正确，您只想插入网格中排列的2D数据集中的值？ 我认为griddata函数就是你要找的东西。 如果没有，您可以发布一些示例代码或一些示例数据供我们查看吗？ griddata函数： http ：//nl.mathworks.com/help/matlab/ref/griddata.html If I understand this correctly, you just want to interpolate values from a 2D dataset arranged in a grid? ...
-
有一家公司提供社交图的转储，但它已被删除，不再可用。 正如你已经意识到的那样 - 它有点难，因为它一直在变化。 我建议检查他们的social_graph api方法，因为他们用最少的API调用提供最多的信息。 There was a company offering a dump of the social graph, but it was taken down and no longer available. As you already realized - it is kind of hard, a ...
-
griddata对数据进行插值，使其在xi ， yi ， zi网格上均匀分布。 因此，您可以将所有zi值相加并将结果乘以基础区域，即dx*dy ： dx = 0.00025; dy = 0.0005; vol = dx*dy*sum(zi(:)); 如果某些zi值是NaN，请执行以下操作： vol = dx*dy*sum(zi(~isnan(zi))); griddata interpolates the data so that it's uniformly spaced on the xi,yi,z ...
-
我在探索和玩代码后成功回答了自己。 这是我们项目代码中使用的这个解决方案的最终实现。 您可以自由使用它，并希望它能在未来帮助其他人： import com.javadocmd.simplelatlng.LatLng; import com.javadocmd.simplelatlng.LatLngTool; import com.javadocmd.simplelatlng.util.LengthUnit; import java.awt.*; import java.util.LinkedList; im ...
-
如果您阅读R Spatial Task视图，则可以找到有关Spatial对象的所有信息 - 这些是可以与坐标参照系相关联的点，网格，线或多边形。 一旦你有了这些，你可以使用spTransform在坐标系之间进行转换。 因此，要将具有lat / lon项目的数据帧从lat-long转换为Ordnance Survey Grid Coordinates： coordinates(ptsLL) = ~Longitude+Latitude # turns a dataframe into a SpatialPoin ...