cwe - 129:不当的验证数组索引
视图定制的信息:
此表显示了弱点和高水平类别相关的这一弱点。这些关系被定义为ChildOf、ParentOf MemberOf,并洞察类似项目可能存在的在较高和较低的抽象级别。此外,关系如PeerOf和CanAlsoBe定义显示类似的弱点,用户可能想要探索。
相关的视图”研究概念”(cwe - 1000)
相关观点“软件开发”(cwe - 699)
简化映射的相关视图”缺点漏洞发布”(cwe - 1003)
该清单显示了给定的弱点可以可能的地区出现。这些可能是为特定命名的语言,操作系统,架构、模式、技术、或一个类这样的平台。列出的平台是随着频率的出现疲态实例。
语言 C(通常是普遍的) c++(通常是普遍的) 类:不是特定于语言的患病率(待定)
这个表指定不同的个人相关后果的弱点。标识应用程序范围的安全领域侵犯,而影响了负面的技术影响,如果敌人成功利用这个弱点。可能提供的信息如何可能的具体结果预计将看到列表中相对于其它后果。例如,可能会有高可能性,缺点将被利用来实现一定的影响,但较低的可能性,它将被利用来实现不同的影响。
示例1 在下面的代码片段中,一个不可信的整数值是用来引用一个对象数组。
(坏的代码)
例如语言:Java
公共字符串getValue (int指数){
返回数组(指数); }如果索引数组的范围之外,这可能会导致一个ArrayIndexOutOfBounds异常了。 示例2 下面的例子将用户提供的价值分配一个对象数组,然后作用于数组中。
(坏的代码)
例如语言:Java
私人空间buildList (int untrustedListSize) {
如果(0 > untrustedListSize) { }
死亡(“负价值提供列表的大小,死邪恶的黑客!”); }小部件[]=新的小部件列表(untrustedListSize); [0]=新的小部件列表(); 这个例子中试图建立一个从用户指定的值列表,甚至检查以确保提供一个非负价值。然而,如果提供的是一个0值,代码将建立一个数组大小为0,然后尝试一个新的小部件存储在第一个位置,导致抛出一个异常。 示例3 在以下代码,方法检索一个值在一个特定的数组索引数组位置作为输入参数的方法
(坏的代码)
例如语言:C
int getValueFromArray (int *数组,int len, int指数){
int值; / /检查数组下标小于最大 / /数组的长度 如果(指数< len) {
/ /获取值的指定索引数组
值=数组(指数); / /如果数组索引无效则输出错误消息 / /并返回值指示错误 其他{
printf(“价值:% d \ n”,阵列(指数)); }值= 1; 返回值; 然而,这种方法只验证给定的数组下标小于数组的最大长度但不检查的最小值(cwe - 839)。这将允许一个负值被接受作为输入数组索引,这将导致一个界外读(cwe - 125),并可能允许访问敏感的记忆。输入数组索引应该检查来验证在最大和最小范围内所需的阵列(cwe - 129)。在这个例子中if语句应该修改为包括一个最小范围检查,如下所示。
(好的代码)
例如语言:C
… / /检查数组索引内是正确的 / /数组的值的范围 如果(指数> = 0 & &指数< len) { … 示例4 下面的示例检索消息的大小对于一个pop3邮件服务器。消息大小从套接字检索返回的缓冲区数量和消息大小的消息,消息数量(num)和大小(尺寸)提取缓冲和消息大小被放置到一个数组中使用数组索引的消息数量。
(坏的代码)
例如语言:C
/ *获取所有消息的大小* / int getsize (int袜子,int, int *大小){
…
字符缓冲区(BUFFER_SIZE); int好; int num、大小; / /读取从套接字和值添加到数组大小 ((好= gen_recv(袜子,但,sizeof (buf))) = = 0) {
/ /继续从套接字读取到缓冲区只包含“。”
如果(DOTLINE (buf))
打破; else if (sscanf (buf,“% d % d”, num,大小)= = 2)
大小(num - 1) =大小;
…
在这个例子中,消息数量从缓冲区可以检索的值超出了允许范围的数组索引,可能是一个负数。没有适当的验证值用于数组索引数组溢出可能发生和可能导致未经授权的访问内存地址和系统崩溃。数组索引的值应进行验证,以确保它是在容许范围内数组的索引如以下代码。
(好的代码)
例如语言:C
/ *获取所有消息的大小* / int getsize (int袜子,int, int *大小){
…
字符缓冲区(BUFFER_SIZE); int好; int num、大小; / /读取从套接字和值添加到数组大小 ((好= gen_recv(袜子,但,sizeof (buf))) = = 0) { / /继续从套接字读取到缓冲区只包含“。” 如果(DOTLINE (buf))
打破;
else if (sscanf (buf,“% d % d”, num,大小)= = 2){
如果(num > 0 & & num < = (unsigned)计数)
大小(num - 1) =大小;
其他的 / *警告可能试图引发缓冲区溢出* / 报告(stderr,“警告:忽略虚假数据服务器返回的消息大小。\ n”);
…
示例5 在下面的示例中,该方法displayProductSummary叫做从Web服务servlet来检索产品摘要信息显示给用户。servlet得到产品的整数值从用户数量并将其传递到displayProductSummary方法。displayProductSummary方法将产品编号的整数值传递给getProductSummary方法获得的产品目录包含项目总结使用整数的数组对象价值的产品编号的数组索引。
(坏的代码)
例如语言:Java
/ /方法从servlet调用来获取产品信息 公共字符串displayProductSummary (int指数){
字符串productSummary =新的字符串(" ");
尝试{
字符串productSummary = getProductSummary(指数);
}捕捉(例外的前女友){…} 返回productSummary; 公共字符串getProductSummary (int指数){
返回产品(指数); }在本例中使用的整数值作为提供的数组索引,用户可以在容许范围的指标为数组提供意想不到的结果或可能导致应用程序失败。使用的整数值数组索引应该进行验证,以确保它是在容许范围内数组的索引如以下代码。
(好的代码)
例如语言:Java
/ /方法从servlet调用来获取产品信息 公共字符串displayProductSummary (int指数){
字符串productSummary =新的字符串(" ");
尝试{
字符串productSummary = getProductSummary(指数);
}捕捉(例外的前女友){…} 返回productSummary; 公共字符串getProductSummary (int指数){
字符串productSummary = " ";
如果((指数> = 0)& &(指数< MAX_PRODUCTS)) {
productSummary =产品(指数); }其他{
System.err。println(“索引越界”); }把新IndexOutOfBoundsException (); 返回productSummary; 另一个在Java中是使用的一个ArrayList等集合对象,将自动生成一个异常如果试图访问数组索引越界。
(好的代码)
例如语言:Java
ArrayList productArray = new ArrayList (MAX_PRODUCTS);
… 尝试{
productSummary =(字符串)productArray.get(指数); }捕捉(IndexOutOfBoundsException ex) {…}例子6 下面的示例用户要求一个偏移量到一个数组中选择一个项目。
(坏的代码)
例如语言:C
int主要(int命令行参数个数,char * * argv) {
char *项目[]={“船”、“车”、“卡车”,“训练”}; }int指数= GetUntrustedOffset (); printf(“你选择% s \ n”,项目[索引1]); 程序员允许用户指定的元素列表中选择,但是攻击者可以提供一个界外偏移,导致缓冲区上(cwe - 126)。
这MemberOf关系表显示额外CWE类别和视图引用这个弱点作为成员。这些信息通常是有用的在理解一个弱点符合外部信息源的上下文中。
的关系
这个弱点可以先于控制内存分配(cwe - 789在语言使用时自动扩展数组索引大于数组的大小,如JavaScript。
理论
不当验证数组索引可能会直接导致的always-incorrect行为“使用界外访问数组的索引。”
更多的信息是可用的,请选择一个不同的过滤器。
|
使用常见的弱点枚举(CWE)和相关的引用从这个网站的使用条款。CWE赞助的美国国土安全部(DHS)网络和基础设施安全机构(CISA)和管理的国土安全系统工程和发展研究所这是由(HSSEDI)manbetx客户端首页(斜方)。版权©2006 - 2023,斜方公司。manbetx客户端首页CWE、水煤浆、CWRAF, CWE标志是斜方公司的商标。manbetx客户端首页 |