repo.or.cz
/
mono-project.git
/
tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
history
|
HEAD
|
snapshot (
tar.gz
zip
)
[cxx] Make the externC of icalls configuration-dependent instead of always. (#17573)
[mono-project.git]
/
mcs
/
class
/
Mono.CodeContracts
/
Mono.CodeContracts.Static.Analysis.HeapAnalysis
/
tree
c31262b7d7fe818cd40de5e49444e8b04d4d9e01
drwxr-xr-x
..
-rw-r--r--
4506
AbstractType.cs
blob
|
blame
|
history
|
raw
-rw-r--r--
45578
AnalysisDecoder.cs
blob
|
blame
|
history
|
raw
-rw-r--r--
54186
Domain.cs
blob
|
blame
|
history
|
raw
-rw-r--r--
6245
FunctionsTable.cs
blob
|
blame
|
history
|
raw
-rw-r--r--
8178
HeapAnalysis.cs
blob
|
blame
|
history
|
raw
-rw-r--r--
1486
IAbstractDomainForEGraph.cs
blob
|
blame
|
history
|
raw
-rw-r--r--
1378
IConstantInfo.cs
blob
|
blame
|
history
|
raw
-rw-r--r--
2576
ISymGraph.cs
blob
|
blame
|
history
|
raw
-rw-r--r--
2168
LabeledSymbol.cs
blob
|
blame
|
history
|
raw
-rw-r--r--
1772
MethodWrapper.cs
blob
|
blame
|
history
|
raw
-rw-r--r--
2229
ParameterWrapper.cs
blob
|
blame
|
history
|
raw
-rw-r--r--
19977
StackToSymbolicAdapter.cs
blob
|
blame
|
history
|
raw
-rw-r--r--
3024
SymFunction.cs
blob
|
blame
|
history
|
raw
-rw-r--r--
2275
SymValue.cs
blob
|
blame
|
history
|
raw
-rw-r--r--
2661
SymbolicValue.cs
blob
|
blame
|
history
|
raw
-rw-r--r--
1954
TypeCache.cs
blob
|
blame
|
history
|
raw
-rw-r--r--
6026
ValueContextProvider.cs
blob
|
blame
|
history
|
raw
-rw-r--r--
3836
ValueDecoder.cs
blob
|
blame
|
history
|
raw
-rw-r--r--
5763
Wrapper.cs
blob
|
blame
|
history
|
raw