没有合适的资源?快使用搜索试试~ 我知道了~
mufasa:μJS有限状态自动机字符串分析器
共372个文件
js:140个
class:132个
java:76个
需积分: 10 0 下载量 143 浏览量
2021-02-19
16:49:39
上传
评论
收藏 14.86MB ZIP 举报
温馨提示
μFASA静态分析仪 μFASA(μJS有限状态自动机字符串分析器)是一种基于静态解释的字符串静态分析器,用于JavaScript的子语言μJS的跨过程版本。 有关μFASA的完整详细信息,请参见第七届国际验证和程序转换研讨会(VPT 2019)上介绍的.μJS语法如上图所示。 如何运行工具 git clone https://github.com/SPY-Lab/mufasa 在这里,您可以找到JAR文件mufasa.jar并可以通过以下方式运行MuJS静态分析器: java -jar mufasa.jar filename.js 一些选项可用: -widening n :将参数扩展设置为n; -coalesced :选择合并的和抽象域以进行分析。 默认情况下,在分析过程中使用此域。 -lifted :选择解除后的联合抽象域进行分析; -invariants :打印每个语句程序
资源推荐
资源详情
资源评论
收起资源包目录
mufasa:μJS有限状态自动机字符串分析器 (372个子文件)
AbstractInterpreter.class 40KB
MuJsParser.class 27KB
SubstringTable1Test.class 27KB
FA.class 26KB
ReplaceTest.class 20KB
MuJsBaseVisitor.class 18KB
SubstringTable2Test.class 17KB
MuJsBaseListener.class 17KB
LiftedUnionAbstractDomain.class 13KB
Interval.class 12KB
IncludesTest.class 12KB
RepeatTest.class 12KB
MuJsVisitor.class 11KB
CoalescedFunctionTest.class 11KB
MuJsLexer.class 10KB
OtherSliceTest.class 10KB
CoalescedUpdateObjectTest.class 10KB
AbstractObject.class 9KB
CoalascedAbstractDomain.class 9KB
MuJsListener.class 8KB
StartsWithTest.class 8KB
TrimLeftTest.class 8KB
AbstractObjectNormalizeTest.class 8KB
CharAtTest.class 8KB
EndsWithTest.class 8KB
CoalescedBenchTest.class 8KB
CoalescedAssignObjectTest.class 7KB
Analyzer.class 7KB
SubstringTable3Test.class 6KB
LiftedUnionAbstractValue.class 6KB
TrimTest.class 6KB
CallStringAbstractEnvironment.class 6KB
TrimRightTest.class 6KB
CoalescedObjectWideningTest.class 6KB
LiftedUnionIfTest.class 6KB
IndexOfTest.class 6KB
AllocationSites.class 5KB
SliceTest.class 5KB
Function.class 5KB
AbstractObjectLubTest.class 5KB
CoalescedIfTest.class 5KB
AbstractEnvironment.class 5KB
LiftedUnionBooleanTest.class 4KB
AbstractHeap.class 4KB
LengthTest.class 4KB
LiftedUnionWhileTest.class 4KB
CoalescedRecursiveFunction.class 4KB
CoalescedLookupObjectTest.class 4KB
Bool.class 4KB
AbstractStore.class 4KB
AbstractState.class 4KB
CoalescedWhileTest.class 4KB
CoalescedBooleanTest.class 4KB
LiftedUnionIntervalTest.class 4KB
CoalescedForEachTest.class 4KB
ToLowerCaseTest.class 3KB
CoalescedIntervalTest.class 3KB
visualizeAutomaton.class 3KB
LiftedUnionNanTest.class 3KB
CoalescedNanTest.class 3KB
MuJsParser$ObjContext.class 3KB
LiftedUnionIndexOfTest.class 2KB
MuJsParser$PropUpdateContext.class 2KB
MuJsParser$IfStmtContext.class 2KB
MuJsParser$FunctionCallContext.class 2KB
MuJsParser$FunctionDeclarationContext.class 2KB
MuJsParser$ForEachContext.class 2KB
Top.class 2KB
Bottom.class 2KB
MuJsParser$ProgramExecutionContext.class 2KB
MuJsParser$AssignmentStmtContext.class 2KB
MuJsParser$StartsWithContext.class 2KB
MuJsParser$SubstringContext.class 2KB
MuJsParser$WhileStmtContext.class 2KB
MuJsParser$EndsWithContext.class 2KB
MuJsParser$IncludesContext.class 2KB
MuJsParser$IndexOfContext.class 2KB
MuJsParser$GreaterContext.class 2KB
MuJsParser$ReplaceContext.class 2KB
MuJsParser$RepeatContext.class 2KB
MuJsParser$EqualsContext.class 2KB
MuJsParser$CharAtContext.class 2KB
MuJsParser$ObjectAsgContext.class 2KB
MuJsParser$CompositionContext.class 2KB
MuJsParser$SliceContext.class 2KB
MuJsParser$DiffContext.class 2KB
MuJsParser$LessContext.class 2KB
NaN.class 2KB
MuJsParser$SumContext.class 2KB
MuJsParser$MulContext.class 2KB
MuJsParser$DivContext.class 2KB
MuJsParser$AndContext.class 2KB
MuJsParser$PropLookupContext.class 2KB
MuJsParser$OrContext.class 2KB
CoalescedIndexOfTest.class 2KB
MuJsParser$ObjectExpressionContext.class 2KB
MuJsParser$PrimitiveValueContext.class 2KB
MuJsParser$BlockContext.class 2KB
MuJsParser$ReturnStmtContext.class 2KB
MuJsParser$BlockStmtContext.class 2KB
共 372 条
- 1
- 2
- 3
- 4
资源评论
600Dreams
- 粉丝: 17
- 资源: 4629
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功