repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
debug: add __smatch_state_count()
2018-03-07
Dan Carpe
n
ter
debug
:
a
d
d __smatch_state_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan
Carpenter
modification_hooks: don't sav
e
the
e
xp
r
essions ou
t
side
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
var_
s
ym: twe
a
k expr
_
to_vsl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Da
n
Carpenter
symbo
l
.
h: let is_ptr
_
t
yp
e
() take NULL
p
ointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
D
a
n Carpenter
return_to_param: fix
a cr
a
shing b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpente
r
struct_assignmen
t
/assi
g
ned_expression:
save some more
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
expression
s
: free alloc
a
ted expressio
n
s aft
e
r the en
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-05
Dan
Carpenter
rosenberg: check
t
he correct a
l
ignmen
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-01
D
a
n
Carpent
e
r
Merge
g
it
:
//
g
it
.
kern
e
l
.
org/pub/scm/devel/sparse
/
sparse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-27
Dan Carpenter
mtag: f
i
x build error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-22
D
an Carpenter
helper: fix se
g
fault parsing
inva
l
id code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan C
a
rpenter
type_val: dev_get
_
dr
v
d
ata() do
e
s
n
't set the t
y
pes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
or_vs_and: white space
c
leanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpent
e
r
co
n
d
i
tions: pass SELECT_HO
O
K f
o
r s
e
l
e
ct assig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan
Carpenter
estate: white s
p
ace c
l
ean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n Car
p
enter
const
r
aints: allow binop con
s
traints
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Car
p
enter
s
m
atch_comparison: fix a cr
a
s
h
i
n
g b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
check_ke
r
ne
l
: handle
f
ls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan
Carpenter
e
x
tra: tight paramet
e
r values
a
bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
ex
t
r
a: h
a
n
dle "
i
f
(fo
o
& 0x1) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan
Carpente
r
extra: don't set
true/false state
s
if it
'
s
the same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
impli
e
d: use assume() even if there are n
o
implica
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan C
a
rpenter
math: silence hard max false
p
ositives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
sl
i
st: don't pass stuf
f
t
o
pre_mer
g
e_
h
ooks that is
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
mtag: kill a
n
endless loop in up
c
oming code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Da
n
Carpen
t
er
call_math:
in
i
tialize some strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
f
n
_arg_link: fi
x
an endless loop
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-20
Dan
Carp
e
nt
e
r
db: f
i
x
a
segfaul
t
parsin
g
invalid c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-19
D
a
n Carpente
r
com
p
arison: improve
h
andling of "if (foo + 1 > limit) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
D
an Carpenter
db/comparison: Use mas
k
information to
g
et comparison
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
Dan Carpe
n
ter
compari
s
on: handle __smat
c
h_compare(foo, bar - 1)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
Dan Carpenter
extra: clea
n
up handle_
A
N
D
_op()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
Dan
Carpenter
e
xtra: cl
e
anup handling "if (foo & 0x1) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-13
Dan Carpen
t
er
user_data:
sile
n
ce some false positives with d
i
vides
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-13
Dan Carpenter
user_data2: silence some false positive
s
handlin
g
n
t
ohl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-13
D
an Carpente
r
conditions: hack arou
n
d "if (foo |
b
ar) {" (bitwise
O
R)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-09
Dan Carpent
e
r
data/kernel
.
i
gnore_macr
o
_indenting: igno
r
e tcp_s
k
b_tsort
e
d
_r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpent
e
r
db/smdb
.
py: change
s
ome fo
r
matting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan
Carpe
n
ter
db/smdb
.
py: fix the
P
ARAM_
C
OMPARE/LIMIT
ty
p
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan
Carpen
t
er
rosenberg: fix a crashin
g
b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
user_
d
at
a
2: do a hack around in
t
he pre_m
e
rg
e
_hoo
k
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan
C
ar
p
enter
constrai
n
ts: handle co
n
ditions like "i
f
(8 < x) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan C
a
rpen
t
er
expr_t
o
_chun
k
_h
e
lpe
r
:
set *sy
m
wh
e
n the
r
e i
s
only
o
ne
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Ca
r
penter
s
l
ist: al
l
o
w
s
h
ow_sm() to a
c
c
ept NULL pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan
Carpenter
flow: don't fake a
n
i
m
possible default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan
C
a
r
penter
type_va
l
: re
c
ord fewer "un
k
n
own" ass
i
gnmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpente
r
f
l
ow: set loop_count to z
e
ro when parsing
inline functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
core: silence some false positives fro
m
parsing invalid
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-19
Dan Carpenter
i
mp
l
ied:
u
se a time ba
s
ed
timeout instead o
f
countin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-19
Dan
Carpe
n
t
e
r
e
xtra: handle loops like
:
while (--i >= 0) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carpenter
funct
i
on_ho
o
ks:
fake a
n
a
s
s
ignment when fun
c
t
i
ons retu
r
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-18
D
an C
a
r
p
enter
c
h
eck_free_strict:
New stri
c
t
er cr
o
ss
f
unction use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Da
n
Carpenter
check_atomic_i
n
c_
d
e
c: track atomic_inc()
a
nd atomic_dec()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carp
e
nter
assigned_expr
:
han
d
le fake
assignments b
e
tte
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan
Carpenter
assigned_ex
p
r:
remove debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
Dan
C
a
r
p
e
nter
kernel_printf: %px is
v
ali
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carpenter
s
t
ree: debuggin
g
: print the nu
m
ber of states in __print_stre
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Car
p
ent
e
r
m
t
ag: co
m
mit
a
ll mtag
r
e
lated cod
e
to
date
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpe
n
ter
smdb
.
py: fix so
m
e crashin
g
b
u
gs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
D
a
n
Carpenter
cont
a
i
ner_of: h
a
ndle function calls lik
e
foo->bar(foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan
C
arpenter
smatch: get the smatch bin dir correctly when it
'
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n
C
arpe
n
ter
user
_
data2: emp
t
y states
a
r
e not use
r
d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpent
e
r
const
r
aints_required: improve handling
o
f
assigned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Carpenter
db:
don't split by N
U
L
L v
s
non-N
U
LL
when there ar
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
an Carpenter
flow:
store a backup of
the s
t
art
t
i
m
e when p
a
rsing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carp
e
nter
helpe
r
: change some nonsense values
to ot
h
er nonsense
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
an
C
arpenter
DB: introduce a t
i
meout handl
i
n
g
c
aller info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Ca
r
pen
t
er
address:
f
i
x hand
l
ing of &foo->ba
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Car
p
en
t
er
contstr
a
int
s
: use caller info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
constraints: move print_return_imp
l
i
es_cons
t
raine
d
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Da
n
C
a
rpenter
c
o
n
straints
:
cleanup unmet_constraint()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Carp
e
nter
co
n
straints: fix add_constraint()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-09
Dan
C
arpe
n
t
e
r
mtag
:
int
r
oduce create
_
mtag_ali
a
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpente
r
mtag: fix get_mtag() for
r
ecorded
states and for arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
D
a
n Ca
r
penter
l
i
nks: no need to record lin
k
s
outside a functi
o
n c
a
ll
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
D
an Carpenter
t
y
pe_val: cache DB in
f
o
a
s
a spee
d
up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan
C
arpenter
strin
g
_list: pr
e
v
e
nt a use after free
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-14
Dan Carpe
n
t
e
r
mtag:
r
e
name from mta
g
s plura
l
to mta
g
si
n
g
u
lar
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpenter
helper: keep a small cac
h
e of
recently u
s
ed varia
b
le
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpent
e
r
ex
t
ra: pas
s
expression pointe
r
to mo
d
/nomod hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
ex
t
ra: write infrast
r
u
c
ture to
p
ass expr to n
o
_
m
o
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
ar
p
enter
db/build_early_index
.
sh:
s
et
u
p
more mtag indexes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
expre
s
sions:
initialize
-
>me
m
be
r
_o
f
f
set() in member_exp
r
e
s
sio
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpen
t
er
function_hooks
:
se
t
path impossible if
we cull e
v
er
y
t
hing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n Carp
e
n
ter
mtags: remove the &
p
re-op
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Ca
r
penter
scripts/
g
en_alloca
t
ion_lis
t
.
sh
:
a
d
d __alloc
_
skb()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Car
p
enter
d
b/
f
ixup_kernel
.
sh: snprintf()
retu
r
n
s
aren't really
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
extra: pass the
modif
i
ed e
x
p
ress
i
on to ex
t
ra_m
o
d_hooks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan C
a
rpen
t
er
ext
r
a: store values fo
r
expressions l
i
ke "foo
[
3]
.
bar"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpente
r
address: don't s
e
gfault parsing invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
Carpenter
ignore: re-writ
e
and add _
e
xp
r
() versi
o
ns
o
f functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpen
t
e
r
param_set
/
filter
:
PARA
M
_SET instead of
P
ARAM_ADD
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Car
p
enter
par
s
e_call_math: use assigned values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
s
val: improve
s
val
_
binop_o
v
erflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpent
e
r
extra: don't modify const parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
address/type: make some function par
a
meter
s
const
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
C
arpenter
struct_assignm
e
nt:
remove an duplicate NULL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
D
a
n
Carpenter
stru
c
t_assignmen
t
: don't do
u
ble parse ulong assign
m
ent
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan C
a
rpenter
st
r
u
c
t
_
assignment:
f
ix a NULL d
e
r
e
ference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Da
n
Ca
r
penter
db/mtags: ad
d
mtag_
d
ata and
mtag_map
tables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next