如何攻破软件
如何攻破软件,英文名how to break software。本文为精简版,浓缩就是精华啊。报错信恳仅仅是迫使程序停止来显示一条报错信息、,然后接着执行卜一条输入或者直到定时器超时而凵。但是,也有其他一些报错信息则是来自于被程序抛岀和异常处理器被执行引发的异常。异常处理器(或中央错误处理线程)因其指针突然改变而数据状态不产生相应变化,通常会存在问题。异常处理器执行的睽间,各种各样的数据问题接踵而至:文件未关闭、内存未释放、数据未初始化。当控制重新回到主线程,很难判断错误处理器是在什么时刻被调用,又会有怎样的遗留问题在等待粗心大意的开发人员:因为文件没有关闭导致打开文件失败、在没有初始化前就开始使用数据。如果我们能确侏在所有的报错信息都出现过之后系统依然正常工作,那么也算是为用户省去」不少麻烦(吏不用说我们的维护工程师∫)图1展小∫我的学生在微软Word20中发现的一个有趣的bug,一条错误提小不知为何连续出现了两次。这个bug是在通过单一输入攻击错误处理线程的过程中发现的确保软件指定默认值。开发人员通常不记得在用户输入越界或给参数改置不合理的值时指定默认的值。有时候强制改立默认值意味着什么也不做一一然而正因为恕不到,这一举措甚至难倒」优秀的开发人员。例如,在word2000中,如下对话框中有一个选择框,当不对其做任何修改时再次打开对话框,该控件将消失。对比左右图片中的对话框。你发现什么控件消失了吗?Index and I atlesaE Ind and T nhl图hdat Tae or Crems I ae ofEr|Bt图pr PC aba业pHanns JEening 2REMTE 2Stade 3.HAidar 2HeadsP Eghk dg pae numbersT-n k有的时候指定默认值需要先改变值的当前设定,然后将其设定为个不合理的值。这种连续的转换保让了再转换成其他可用的值前是经过设置默认值尝试输入变量的所有可用的字符集有的输入问题很简单,特别是当你使用了类似$,%,#,引号等等字符付,这些字符在许多编程语言中有特姝意义并且作为输入被读入时通常需要特姝处理。如果廾发人员未考虑这种情况,则这些输入可能导致程序的失败。通过改变输入内容的多少引发输出区域的改变聚焦丁输出木身是一神发现bug颇有成效但是极少使用的方法。其思想是:先假定一种表现为bug的输出或者行为,然后寻找能够导致这种现场产生的输入。以上所述的一个简单的攻击例子就是通过改变输入值和输入字符串的长度来引发输出区域大小的重新计算。个很好的概念性例子是将时钟的时间设置为9:59,然后等待它转到10:00。一开始显示区域是4个字符长度而后来是5。反过来,我们设定时间为12:59(5个字符),然后等待其转变为1:00(4个字符)。开发人员通常只会对初始化为空白的情况进行处理而不曾考虑到显小区域己有数据的情况下如何史新该区域以显小不同长度的数据。举个例子, PowerPoint中的“艺术字”功能中有个有趣的bug。假定我们输入下图中的个长的字符串可以发现因为字符串太长,并不是整个字符串都能显小出来。但这不是问题的关键。点击确认按钮时触发两个事件。首先,程序计算岀需要的输岀区域大小,然后将输入的文字填充进去。现在,我们编辑该字符串,将它改为单个字符。可以发现尽管现在只有单个字符,字体大小也没有改变,但显小区域大小却没有发生改变。进一步看。如果冉次编辑该字符串为多行的字符串,输出结果更有意思、。E Microsoft PowerPoint-[Presentotion1I回E= Fdit iAv Tns+ Form=t工 hls li smw inimw Henl可x回的品“口27%-2⊥□ ATTENTONMicrosoft InterJob interviewsCareerGo to room 210ae for all god mene come to the aid回 Eile Edit iaw Insert Forst Tools Slide show MA. in+y出1型x」10ATTENTIONob interviewsheld in Career seGo to room 20Keuper BldgC Microsoft Powerpoint [PresentationalUJEil- Edit yiw Insert For mat Inns Slide Show Mlinrnw Hen回x当鹛5x:+兽当2791 ATTENT工ONMicrosoft internheld in Career seGo to roomKeuper Bld一分也Aa的≡我悲这部分凵经介绍得比较清楚了,我们将进入卜一部分确保对显示区域的边界的检査。这是基于输出的另一种攻击思路,与之前的|分类似。然而,不同于之前着力」导致显区域内部出错,这次我们将精力集中在显示区域的外部。并且显示区域将不再重新计算显示边芥而仅仅是考虑边界溢出。再以 Power Poin为例,我们可以先画一个文木框,然后输入一个带上标的字符串。放大该字符串的宇体使上标的上半部分被截断。这一问题将连同之后的相关问题一起说明。引发屏幕刷新问题。这是使用 windows图形用户界面的用户会遇到的主要问题。对开发人员来说,史是个大问题:过度的刷新将导致程序变慢,而不刷新又会导致大大小小的问题,小至要求用户强制刷新,大到导致用户的操作失败通常通过在屏幕上添加、删除和移动元素来触发血刷新。这将导致背景車新绘制,如果贞面不能正确、及时地作出相应,那么这就是通常意义上的bug。其中,尝试变化所移动的元素的距离是一种较好的方式,可以移动一点点,接着移动一大截,移动一两次,接着移动很多次接着说回上面例子中的带上标的字符串,试着每次用鼠标拖动它移动一些距离,就会发现令人讨厌的问题,如下图所示。在 Office2000中→4引丝常出现的另一个与L口 ATTENIIONMcr。 tk Intern屏幕刷新相关的问题lob interview arheld in Cae se是文本的异常消失。Go to noon 21025Keuper Bdg这一讨厌的问题在word的页面边界附近4出现。Click to add notes输入值组合攻击口的rcm如南哪、、口四面、,凸,画■翻第二类输入/输出Side S 0f 6Bur Desnbug主要针对多个共同作用或相互影响的输入。例如,一个通过两个参数调用的API,其中一个参数的取值建立在另一个参数取值的基础上。通常,bug正是出在值组合上,因为代码的逻辑关系复张。找出不能共存的输入值的组合。那么哪些值的组合是有问题的?这个问题目前还处于积极研究中,但是我们已经找到了一个特别有效地方法,那就是先确定期望获得的输岀,然后试着去找到对应的输入值的组合。尝试产生无效的输出。这是一种适用于测试人员对问题域十分清楚的有效攻击方法。例如,当你在测试一个计算器并且清楚部分功能点的结果有限制时,试图找到超岀范围的结果所对应的输入值组合是值得的。但是,如果你不熟悉数学,那么这种努力很可能是浪费时间一一你甚至可能将一个不正确的结果当成正确的。有时候 windows木身会给出提示,告诉你哪些输入是相互关联的。此时,测试人员可以去测试这些值的范围,并且尝试触犯既定的关系。输入序列攻击软件中的输入就像一种止式的语言。单一的输入相当」组成语言的字母,输入的字符串类似构成语言的句子。其中一些句」应该通过控件和输入区域的启用与禁用被过滤。通过尽可能多地输入字符串、改变输入的顺序来测试这种问题选择导致无效输出的输入序列。和上文描述这是一种找到问题输入组合的好方法一样,这同样是找出有问题的输入序列的好方法。例如,当我们发现∫Oice2000中的一个导致文本消失的问题后,对 Power point幻灯片中标题文本框进行攻击。如下的一组屏幕截图冉现∫一个特定的输入序列是如何导致文本消失的。正回国wFE和 Eai swa. wart Frat m ao sty oran阳 mrt ma Dect ilt sow如mhDdF)…gB5:h1感 ATTLATI0H1b粪 ITtNTION1直 ITHNTIONMicosofT I nterMicrosoft Imt把MIcroset IotelCxn caosATHENTIONGo tD roMm 2门rNGatD fosT丑Micros af lrtenigveeKHr段hMirswios bereitKere EdCm取曰BD日要!比 b and ncosr宝tams7m· R6 anime)s□42正△=a面口日压=日日2▲·=量有趣的是仅仅将文本框旋转180度并不能发现这个bug。必须按照这样的操作顺序:旋转180度后,再旋转10度(或者更多)。逆向执行以上操作并不能修正这一问题,每当点山标题外部区域,该标题内容就会消失。改变输入的顺序之所以善于发现bug是因为很多操作自身成功执行的同时会遗留很多问题,它们将导致之后的操作失败。对输入序列进行彻底的检査会暴露出很多这样的问题。然而有时侯,下面这种攻击表明:为了发现bug,根本不需要使用多种多样的输入序列多次重复同样的输入序列。这种方式会对资源造成大规模占用,并且对存储数据空间造成压力,当然也包括发现其他负面的遗留问题。遗憾的是,大多数应用程序并不清楚自身空间和时间的限制,而许多开发人员倾向于假定资源总是足够可用的。在Word的公式编辑器中可以找到这方面的一个例子,程序本身似乎并不清楚它只能处理10层嵌套括号的计算数据攻击数据是软件的命脉;如果你设法破坏了它,那么程序将不得不使用被破坏的数据,这之后得到的就不是合理的结果。所以理解数据是如何、在何处建立是必要的从本质上讲,数据的存储是通过读取输入,然后将其存储在內部或者存储一些內部计算的结果来实现的。因此,测试正是通过提供输入和执行计算来实现数据在应用程序中的传递数据攻击遵循以下简单原则。数据攻击变量值攻击1存储不正确的数据类型2使数据值超过允许的范围数据单元大小攻击3.溢出输入缓冲区4存储过多的值5存储太少的值数据访问攻击6找出同一数据的不同修改方式变量值攻击这一类的攻击需憂对内韶存储的数据对象的数据类型和合法值进行检查。如果有对源码的权限则这些信息可以轻易得到,但是,通过小小的探索性测试和对错误信息的关注也可以确定人致的类型信息。改变输入的数据类型来找出不匹配的类型。在需要整数的区域输入字符(和类似的攻击)已经被证明十分有效,但随着现代编程语言对类型检查和类型转换的处理变得容易,我们发现这样的攻击相对之前已经不再那么有效使数据值超过允许的范围。被存储的变量数据和输入的变量数据一样,这样的攻击方式同样适用数据单元大小攻击第二类数据攻击旨在蝕发数据结构的溢出和下溢。换句话说。攻击试图打破预先设定的数据对象的大小限制。首先要说的就是典型的缓冲区溢出。溢出输入缓冲区。此处通过输入长字符串导致输入缓冲区溢出。这是黑客们偏好的攻击方式,因为有时候应用程序在崩溃之后会继续执行进程。若一名黑客将一段可执行代码附在一个长字符串中输入,程序很可能执行这段代码在Word2000的一个缓冲区溢出问题就是这样一个可被利用的bg,此bug被发现在査找/替换玏能中,如下所示。有趣的是,“查找”这一字段被合理地加以限制而“替換”没有正出面同一数据结构存储过多的值。复杂地数据结构诸如数组、矩阵和列表在测试中不仅仅要考虑存储8在其中的数值,还要考虑存储值的数目。同一数据结构存储过少的值。当数据结4正A日国重构允许增加和删除信息时,通常在做了n-1次增加的同时穿插着或在其之后做n次删除操作会导致攻击成功。数据访问攻击我的朋友 Alan Jorgensen喜欢用“右手不明左手所为”这句话来形容这一类bug。道理很简单,但开发人员却常倒在这一类攻击下:在很多程序中通常任何任务都能通过多种途径完成。对测试人员来说,这意味着同一个函数可以由多个入口来调用,这些入口都必须确保该函数的初始条件得到满足。个极好的例子是我的学生在 PowerPoint中发现的表格数据大小相关的崩溃性bug。创建表格时最大尺寸被限定为25×25。然而,可以创建一个25×25的表格,然后为其添加行和列——导致应用程序崩溃。这就是说,程序一方面不允许26×26的表格存在而另一方面却并不清楚这个规则的存在。运算攻击运算攻击操作数攻击使用非法操作数进行运算找出非法操作数组合结果攻士使运算结果过大使运算结果过小功能相互作用攻击找出共亨数据不佳的功能操作数攻击这类攻击需要知道在一个或史多内部运算中操作数的数据类型和可用的值。如果有源码权限则这些信息可以轻易获得。否则,测试人员必须尽最大努力去弄清楚正在进行的运算只体是什么、使用的是什么数据类型。触发由非法操作数引起的运算。有时侯输入或存储的数据处于合法的范围之中,但是在某些运算类型中却是非法的。被0除就是一个很好的例子。0是一个合法的整数,但作为除法运算的除数却是非法的。找出不能共存的操作数的组合。涉及到一个以上操作数的运算不仅受制于上面的攻击,同时存在操作数冲突的可能性。结果攻击第二类运算攻击旨在造成存储运算结果的数据对象的溢出和下溢试图造成运算结果过大而存储失败。就算是简单如y=x+1这样的运算在数值边界上也常出问题。如果x和y都是2比特的整数并且ⅹ的值为32768,则这一运算将失败,因为结果将会造成存储溢出。试图造成运算结果过小而存储失败和上文相同,不同的是使用y=x-1并且使x的值为-32767功能相互作用攻击文章中讨论的这最后一类攻击或许算是所有种类的鼻祖,可以用来区分测试菜鸟和专业人员:功能的相互作用。问题没有什么新意:不同的应用程序功能共享同一数据空间。两种功能的相工作用导致应用程序失败,不是因为对数据处理的设定不同,就是因为产生了不良副作用但是哪些功能共享数据并且能够在冲突情况下实现数据转化口前还是测试领域中一个开放的问题。日前我们正停留在不断地尝试阶段。下面这个例子足以说明情况这个例子给出了在Word2000中的同一页面上合并注和双列时出现的一个出人意料的结果。问题在于:Word从注释的引用点计算脚注的页面宽度。所以,若同一页面上存在两条脚注,一条被处于双列位置的内容所引用,另一条则被处于单列位置的内容所引用,单列脚注公将双列脚注挤到下一页面。同时被挤掉的还有引用点至页面底部间的文本。三萨三下面的屏幕截图形象地说明」问题。第二列的文木去哪里∫?连同脚如三签注一起处在n远aoh1M黑下一次你会任由文档像1=11 aata Ln1a回下111D这样显小吗?在找到解决方法(这意味着你得花时间去整理)前你将不得不忍受这一现状结论简单遍历—遍上面罗列的21种攻击策略叮以覆盖应用程序的大部分功能。事实上,施行次成功的攻击通常意味着尝试各种可能性,走过很多死胡同。但是仅仅因为部分这一类探索性方法发现不了bug并不意味着它们没有用。首先,这段吋间使用应用程序帮助测试人员熟悉程序的各种功能,从而产生新的攻击思路。其次,测试通过是好的消息!它们表明,品是可靠的:尤其当这组测试是上面所说的恶意攻击。如果代码可以承受这样的测试过程,它儿乎可以应对用户作出的任何操作。另外,永远不要低估了测试时怀揣一个具体目标的作用。我见过太多测试人员把时间浪费在亳无目的地输入或者随机地调用API试图导致软件出错。实行测试意味着制定明确的目标一一基丁会出错的点—一然后设计测试用例来实践该目标。这样,每个测试用例都有目的泩并且进度可以被随时控制。最后,记住,测试应该是有趣的。攻击这一比喻正是对测试的这一特性很好的诠释并且还为愉快的消遣时光添加∫些许作料。狩猎愉快
- 2020-12-09下载
- 积分:1
Mimics17中文培训手册.pdf
这本培训手册是为了帮助用户顺利地开始Mimics软件的使用而编写的,并不能够代替Materialise公司提 供的培训。 这本培训手册在不同的练习中使用了 Mimics 17.0 的模块,如果没有相关模块的使用权无法完成练习。 请注意: 这本培训手册的使用以熟悉Windows系统操作技能为前提Materialise software目录Mmcs培训手册公告BBBB暑 NeAA日品EB园 8NaNANOEN冒品 RaRE曹BB总BBBB即总 98D6NNENnAMms0筒介Mimics模块导入图像5练1.导人如imap图像6练习2:导入DCOM图像…导航&项目管理器,77是BBB品B日BB日B品 0n00EDdD自2B日出BBBB自BBB目B自BBB国BBB即D日BBD国国练习,导航2仟务1.一键导航、放大缩小、平移…12任务2.快捷键的使用…13任务3帮助文档练习2.项日管理器,…14任务1.熟悉项目管理器的使用.14任务2.视窗操作.14任务3.体渲染15/测量工具9练习1.测量工只20任务1.距离测量.20任务2.角度测量任务3.测量的导出着国面21任务4.密度测量.21练习2.剖面线练习3.评注22基本阈值分割&三维模型操作,,25练习1.能部的分割.26任务1阈值分割(使用剖面线任务2.计算三维模型27任务3.区城增长28练习2.分离动脉…网值法任务1.阙值分割(使用剖面线)和区域增长30任务3.计算三维模型.…练习3.分离动脉∥33动态区域增长法33任务1.动态区域增长…33练习4.三维导航团道任务1.一键导航、敖大缩小、移、旋转……35任务2.使用快捷方式进行导疽.36练↓5.从骨盆上分离脊推37练习6.三维工具……40练习7.提取膝关#443D性套索功能任务1:使用3D磁性套索提取胫骨导出功能www.materialise.comMaterialise China- 1803, No 800, DongfangRoad-Shanghai-Chinamimics@materialise.com.cnMaterialisedriving your innovations米Materialise software练习1.导出切层50任务1.导出DCOM任务2.导出BMP.50任务3.导出电影.50练习2.导出S752高级分割53练习1.分离脑组织…任务1.修剪感兴趣的区域…….54任务2.形态学操作:消蚀.….55任务3.在三维视下编辑mask.57任务4.形态学操作:膨胀…57仟务5.千动编辑59任务6.多层编辑…60MedcADB即即BB身总BDB即原总自D即国B国即即DBB即 anDOng90且BBBD63练习1.通过多义线拟合球体练习2.通过多义线拟合表面66任务1.拟合股骨主干的表面任务2.拟合大转了的表面67练习3动脉中心线69任务1计算中心线9任务2.中心线测量70仟务3.中心线末端切面∴71任务4.分支分组仟务5.对控制点的操作…72于术模拟…74练习1.使用多义下面切割练习2.植入体评价练习3调整入体的位练习4评价骨量179FEA…,,n,,,n,n82练习1.股骨的网格优化83任务1.打开网格优化器…83任务2.股骨的几何简化83任务3.检查网格.……,85任务4优化三均片质量任冬5.生成体网格……∴88练小2.赋材质……90练3.并流形装配.97任务1.创建非流形装配91仟务2.优化网格93任务3.创建体K格.95仟务4.分离非流型装配以及导出网格文件恭喜您98Mimics nnovation Suite用户俱乐部98www.materialise.comMaterialise China- 1803, No 800, DongfangRoad-Shanghai-Chinamimics@materialise.com.cnMaterialisedriving your innovations米Materialise softwareMmis简介Mimics是一个迕接二维图像数据(CT,MRl,工业扫描数据.)和三维工程学应用的图像处理工具。应用领域包括:解剖学测量、三维分析、有限元分析(FEA)、客制化植入体或装置设计、加法制造(也被称为维打印)以及手术计划和模拟通过使用 Mimics的图像分割方法,用户能够从医学数据中选择特点的感兴趣区域,将结果计算成精确的三维模型。Mimics的功能模垬为用户提供了其它应用领域的接口。这意味着 Mimics的功能可以方便的根据用户的需要进行组合。另外, Mimics是 Mimics innovation suite的一部分,这一套装也包括了3mabc0。在套装中, Mimics被用来生成精确的三维模型,之后3-ma加被用来在解剖学模型的基础上进行设计和网格操作。因比3-ma极大稈度的扩展了 Mimics在基于解剖数据的工程学方面的应用的可能性Mimics被广泛的应用在骨科、颌面外科以及心血管行业的学术及商业硏究领域Mimics的主要优势:Mimics界面友好容易掌握。快遮的分割工具(基于阈值和轮廓)和精确的三维计算保证了快捷的取道精细的三维模型Mimics在|sO环境下开发,只有CE和FDA市场认证Mimics基于市场要求持续开发,每年有两个版本的更新。当 Mimics和3- matic被联合应用时,用户可以直接在STL文件的基础上进行设计和网格操作尤需逆向工程。这使用户可以:基于解剖数据改进植入体o设计客制化的植入体和手术导板● Mimics的开发商 Materialise是创新软件和加法制造技术的世界领跑者。www.materialise.comMaterialise China- 1803, No 800, DongfangRoad-Shanghai-Chinamimics@materialise.com.cnMaterialisedriving your innovations米Materialise softwarem/模块Mimics包括多个模块。下方的图片给出了基础模块与功能模块之间的链接,以及)要的应用领域。ImportMimics @Innovation SuiteExportMimicsFEAMedCADSurgicalRP-sliceSimulationCAD3- matic②MATLAB BImpartsStatisticestanPoint cloudAnalysisEngineeringPoint cloudManufacturing(RP/CAMywww.materialise.comMaterialise China- 1803, No 800, DongfangRoad-Shanghai-Chinamimics@materialise.com.cnMaterialisedriving your innovations米Materialise software导入图像这一章的练习公帮助您了解如何导入bmp图像以夂对图像尺寸进行修改如何自动导入D|COM数据■确认图像方向注意Mimics不仅支持 Dicom格式数据,而且能够直接导入扫描原始数据。这些数据可以通过硬盈、光盘或磁盘导入。 Mimics也支持BMP,JPEG以及TFF格式文件的导入。源文件可以通过在 importwizard的第一步选择, force manual import"的方式手动导入在开始之前保证您已经安装了培训数据 Training Data2011.eXe、头影测量数据库以及牵引器数据库。您可以在培训光盘中找到这些安装程序。www.materialise.comMaterialise China- 1803, No 800, DongfangRoad-Shanghai-Chinamimics@materialise.com.cnMaterialisedriving your innovations米Materialise software练习1.导入bma图像从主工具栏中选择 new project wizardSelet the media or files tha contain the images x irpotDICOM Input Application (D-AFavoritesDriversIrldyeRuuLaMedDataA.UDotascts山 extra datasetsImportTEST. RTTMAPD DICOM簧 Add : o feveritearget folder: 3: SUpportRobert Atwooda mercer aw inport show Import logCarTEl2.浏览 Training Data文件夹( CMed DataTraining Data),选择 BITMAP文件夹。点击Mex3.在 Image properties窗口标示出扫描分辨率。像素大小为256μm,层距为4mm。然后选择Mexwww.materialise.comMaterialise China- 1803, No 800, DongfangRoad-Shanghai-Chinamimics@materialise.com.cnMaterialisedriving your innovations米Materialise softwareNew project w zardMcnary ncad=d (conmprc33cc/uncomprcaacd): 128 Mb/256 Mb Mcrory availzbc: 20E2 Mbv7023277sia+S vL_/62341/b_akIa +000.8(-J00 bmpv70234770ad+00160-00v76234776axi+00200-00.mv76237681+002C00bm画7.8C- 00.hmnv762]4768i5+00360-00.brpv/6234baxa+004-.mpv7624776ai+048C-hrmnvi70234770ad+002C-00uv76234776ai110056C00.bmv7623763x8+0060000mp76)3x776xia+0-0mp画w70234770did+008C-00Jmp烟v762]4768+00720-00mp1A1,∩ nTEr nn LSorting orde- custom-15775sh?informatonK701∞Y7z40mnkmPatent name n/a□ Forcc sotropi: samplingrebate n/o4.在下个窗口 Edit images,您可以涠过调节图像周围的线框的大小来对该项目进行修剪。dit imag esf vol maco/caac #l ixel mappingMin X 30x MaK< X 51Min Y 115MinZ o px Msx Z 511 psInput: 512* 512 x :12 Output 182x 213x 51?100, JUUUOUPlxel sze:1.fUlllt:1Skip mages: JInput: 402? Outut: 402x 21Jx512www.materialise.comMaterialise China- 1803, No 800, DongfangRoad-Shanghai-Chinamimics@materialise.com.cnMaterialisedriving your innovations米Materialise software5.在这个窗口,您也可以编辑像素映射图的属性。完成编辑后,点击Mex6.在方向窗口标示出图像的方向。点击OK打开 Mimics项目,您就可以开始进行图像分割了!Check orientationverify if the proposed or entatior is correctDizor mage orien ation: xXXCurrent orientationR吕T0BA□Risht-dick on an orientation character to chance it.OK Cancel Hepwww.materialise.comMaterialise China- 1803, No 800, DongfangRoad-Shanghai-Chinamimics@materialise.com.cnMaterialisedriving your innovations米
- 2020-12-11下载
- 积分:1