Home
Java
JSTL
Struts
Spring
Hibernate
Webservice
Eclipse
API
Guest Post
Menu
Explorer
SPLlift-master
cide-spl-headless
src
soot
spl
ifds
headless
Application.java
cide-spl-ui
examples
distributive-negation
Test.java
dnf-minimization
Test.java
src
br
Main.java
ufal
cideei
Activator.java
features
CIDEFeatureExtracter.java
CIDEFeatureExtracterFactory.java
IFeatureExtracter.java
handlers
AnalysisArgs.java
DoAnalysisOnClassPath.java
DoFeatureObliviousAnalysisOnClassPath.java
soot
SootManager.java
SootUnitGraphSerializer.java
UnitUtil.java
analyses
FlowSetUtils.java
LiftedFlowSet.java
MapLiftedFlowSet.java
count
AssignmentsCounter.java
BodyCounter.java
ColoredBodyCounter.java
FeatureObliviousEstimative.java
FeatureSensitiveEstimative.java
ICounter.java
IResettable.java
LocalCounter.java
MethodCounter.java
instrument
CachedLineNumberMapper.java
ConfigTag.java
FeatureModelInstrumentorTransformer.java
FeatureTag.java
IConfigRep.java
IFeatureRep.java
ILazyConfigRep.java
LineNumberColorMapper.java
asttounit
ASTNodeUnitBridge.java
ASTNodesAtRangeFinder.java
MultipleLineNumbersVisitor.java
SingleLineNumberVisitor.java
bddrep
BDDConfigRep.java
BDDFeatureRep.java
bitrep
BitConfigRep.java
BitFeatureRep.java
BitVectorConfigRep.java
BitVectorFeatureRep.java
SetBitConfigRep.java
util
CachedICompilationUnitParser.java
ConfigurationEdgeFactory.java
ConfigurationEdgeNameProvider.java
DebugUtil.java
ExecutionResultWrapper.java
MethodDeclarationSootMethodBridge.java
Pair.java
SetUtil.java
ValueContainerEdge.java
count
AbstractMetricsSink.java
IPropertiesSink.java
MetricsSink.java
MetricsTable.java
SummaryBuilder.java
graph
VertexLineNameProvider.java
VertexNameFilterProvider.java
WeighEdgeNameProvider.java
visitors
AllFeatureNodes.java
GetFeatureVisitor.java
SelectionNodesVisitor.java
SupplementaryConfigurationVisitor.java
ufpe
cin
dfa4spl
plverifier
IVerifier.java
alloy
AlloyNodes.java
CannotFindBooleanSig.java
CannotFindFunc.java
Constants.java
io
CannotReadAlloyFileException.java
emergo
properties
DFA4SPLProperties.java
DFA4SPLPropertyPage.java
soot
spl
ifds
Constraint.java
ExtendedInterproceduralCFG.java
FMConstraintFactory.java
FeatureModelContext.java
Main.java
PerformanceTestDriver.java
Powerset.java
SPLFeatureFunction.java
SPLIFDSSolver.java
SPLSingleConfigIFDSSolver.java
public class Test { public static void main(String[] args) { String[] y = args; y = null; } }