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
db: introduce the cache_db
2018-02-21
D
an Carpenter
es
t
at
e
: white space cle
a
n up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpent
e
r
constraints: al
l
ow binop constraints
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan C
a
rpenter
sm
a
tch_comp
a
rison: fix a crashing
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
check_
k
ernel:
handle
f
ls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan
Carpenter
extra: tight parameter values a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan C
a
r
penter
ext
r
a: hand
l
e "
i
f (f
o
o
&
0x1) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n Car
p
enter
extra: don't
set true/false stat
e
s if it's
t
he sa
m
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpe
n
ter
impl
i
ed: use a
s
sum
e
(
)
e
ven if
t
here are
no
i
mplications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Da
n
C
a
rp
e
nter
m
a
th: silen
c
e hard max false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpen
t
er
s
l
ist: don'
t
pass st
u
ff
to pre
_
merge
_
hooks that isn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan
Car
p
enter
m
t
ag: k
i
ll an e
n
dless l
o
op in
up coming code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
call_m
a
t
h
: initialize some strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpe
n
te
r
fn_arg_link: fix an endl
e
ss
loop
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-20
Dan
Carpent
e
r
d
b:
f
ix a segfault parsing invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-19
D
an C
a
rpenter
c
omparison: improve handling of "if
(fo
o
+ 1 > limi
t
) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
D
a
n Carpenter
db/comp
a
riso
n
: Use
m
ask
i
n
f
o
rm
a
tion
to
g
et
comparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
Dan Carpenter
comparison: handle __smatch_compare
(
fo
o
, bar - 1)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
D
a
n C
a
rpenter
extra: cle
a
n
up han
d
l
e
_AND_op()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
Dan Carpenter
e
xt
r
a: cleanup handling "if (foo & 0x1) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-13
Dan Carpenter
user_data: si
l
ence some false positives wi
t
h divid
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-13
D
a
n Carpenter
user_data2: silence some false posit
i
ves
handlin
g
ntohl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-13
Dan
C
arpenter
conditions: hac
k
a
r
ou
n
d
"
if
(foo |
bar) {" (bitwise OR)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-09
Dan Car
p
enter
data
/
kernel
.
ignore_macro_inden
t
i
n
g
: ignore tcp_sk
b
_tsorted_r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
d
b/smdb
.
p
y
: change some formatting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Da
n
Ca
r
penter
db/smdb
.
py: fi
x
the
P
ARAM_COMPARE/LIMIT ty
p
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
D
an Carpenter
rosenbe
r
g
:
f
i
x a
crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carp
e
nter
us
e
r
_data2
:
do
a
h
ack
a
r
ound
i
n the p
r
e_merge_hook()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan
C
arpenter
constraints: handl
e
co
n
dit
i
on
s
l
i
ke
"
if (8 <
x) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpente
r
expr_to_chunk_helper:
s
et *sym when there
i
s only one
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
D
an Carpenter
slist: a
l
lo
w
show_sm() to a
c
cept NULL pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Car
p
enter
flow
:
don't f
a
ke an impossibl
e
default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpen
t
er
type_val: record few
e
r "unknown" assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n Carpenter
flow:
s
et lo
o
p
_co
u
nt
t
o z
e
r
o
w
he
n
p
a
rsing
i
n
line fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan
Carp
e
nter
core: silence some false positives f
r
om parsing invalid
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-19
Dan Carpenter
implied: use a time based timeout instead o
f
counting
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-19
Dan Carpen
t
e
r
extra:
handle loops lik
e
: wh
i
le (--i >= 0) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-18
Dan C
a
rpenter
f
u
n
c
tion_hooks: fake a
n
assignment
w
hen functions
ret
u
rn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carpen
t
er
c
heck_f
r
ee_strict: New str
i
cte
r
c
r
o
s
s
fun
c
ti
o
n use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
c
heck_atomic_in
c
_dec:
track atomic_inc() and ato
m
i
c_dec()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan C
a
rpenter
ass
i
g
n
ed
_
expr: handle fake assignmen
t
s
b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
D
an Carpenter
assigned
_
expr: remove
de
b
ug c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
Dan
Carpe
n
ter
ke
r
nel_printf:
%
px
is val
i
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
D
a
n
Ca
r
pente
r
st
r
ee: debugging
:
pr
i
nt the number of states in __prin
t
_str
e
e(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Car
p
en
t
e
r
m
tag
:
commi
t
all mta
g
related code to
d
ate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan
C
a
rpe
n
ter
smdb
.
py: f
i
x some cra
s
hing bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan
C
a
rpenter
conta
i
ner_of:
h
andle function ca
l
ls l
i
ke foo->bar(foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
smatch:
g
e
t
the smatch bin dir corr
e
ctly when it's
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
u
ser_d
a
ta2: empty stat
e
s a
r
e not user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
const
r
aints_requir
e
d: improve handling of ass
i
gned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n
Carp
e
nter
db
:
d
o
n't split by NU
L
L vs non-NU
L
L when there
are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
flow: st
o
re
a backup o
f
the start time when
parsing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Da
n
Car
p
enter
hel
p
e
r
: c
h
ange some nonsen
s
e
values t
o
ot
h
er nonse
n
se
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan
C
a
r
penter
D
B
: introduc
e
a
t
i
m
eout han
d
ling cal
l
er
info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan C
a
rpenter
addres
s
:
f
i
x
handl
i
ng
of &foo
-
>bar
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n
Car
p
enter
contstraints: use caller info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Da
n
Car
p
enter
constraints
:
move
print_r
e
turn_
i
mplies_constr
a
ine
d
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carp
e
nter
co
n
s
traints: clea
n
up
unmet_constraint()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Da
n
C
arpenter
constraints: fi
x
add_const
r
aint()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-09
Dan Car
p
en
t
er
m
t
ag: introduce
c
reate_mtag_alias()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Da
n
Ca
r
penter
mtag: fix
g
et_mta
g
(
)
for re
c
or
d
e
d
states a
n
d for arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
links: no nee
d
t
o record links outsi
d
e
a function call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpent
e
r
type_val: c
a
che DB info a
s
a speed
up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
string_
l
ist: p
r
eve
n
t a use af
t
er fre
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-14
Dan
C
a
rpenter
mtag
:
rena
m
e from mtags plural
t
o mtag singular
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpente
r
helper: kee
p
a small cache
of recentl
y
used
variable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n
Carpenter
e
x
tra: pass
e
x
p
ressio
n
pointer
t
o mod/nomod hook
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan C
a
rpent
e
r
extra
:
write infrast
r
ucture
t
o pass exp
r
to no_mod
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
arpenter
db/
b
u
ild_early
_
index
.
sh
:
set
u
p more mtag indexes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
expressions: in
i
t
ialize ->member_offse
t
() in member_expression()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
f
u
nction_hooks: set
path i
m
possib
l
e
i
f we cull everything
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Car
p
e
nter
mtags: re
m
ove t
h
e & pre-op
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Ca
r
pe
n
ter
scr
i
pts/gen_all
o
cation
_
list
.
sh: add __alloc_skb
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n C
a
rpenter
d
b
/fixup
_
ker
n
e
l
.
sh: snprintf() returns
a
ren't really
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Car
p
e
nter
extr
a
: pas
s
the modified ex
p
ression to extra_mo
d
_hooks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpenter
ext
r
a: store val
u
e
s
f
o
r expressions like "
f
oo[3]
.
bar"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
address: don't
s
egfault pa
r
sing inva
l
id code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
C
a
rpen
t
er
ignor
e
: re-w
r
ite a
n
d add _exp
r
() versions of functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan
C
arpenter
para
m
_set/filter: PARAM_SET instead of PARAM_ADD
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpe
n
te
r
parse_c
a
ll_math: use
a
ssigned values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
sval:
impr
o
ve s
v
al_
b
inop_ove
r
flows(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpe
n
ter
extra: d
o
n't modi
f
y const param
e
ters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
address/type: make some f
u
n
c
tion parameters const
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
C
a
rpenter
struct_assignment: re
m
ove an duplic
a
te NULL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
D
an Carpenter
st
r
uct
_
a
s
signment: d
o
n't double
parse ulong assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan
C
arpenter
struc
t
_a
s
s
i
g
nment:
fix a NULL d
e
reference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Ca
r
penter
d
b/mtag
s
:
a
dd
mta
g
_data and mtag_ma
p
tab
l
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
D
a
n Carpen
t
er
db/fn_ptr_data_link: don't st
o
re duplicate
records
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
db
:
allow
SQL statemen
t
s to be run la
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan
C
arp
e
nter
db: introduce get_mtag_nam
e
_
expr
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan
C
a
rpenter
struct_assignment: handle
n
on
struct, p
o
inter assignment
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpen
t
er
str
u
ct_assignment: fix handling of non
_
struct
_
assignm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
st
r
uct_assi
g
nment: split ha
n
dle_non_struct_
a
s
sigments
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpenter
index
_
o
v
e
r
f
low:
m
ake
all messages "error:" instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpenter
in
d
ex_overflow: small cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpenter
index
_
overflow: don'
t
w
arn
a
bou
t
impossible paths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carpente
r
mtag: i
n
trodu
c
e
memory tags
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carpenter
imp
l
i
c
at
i
ons: set_state() should trump implicatio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-21
Dan Carpe
n
te
r
buf_comp
a
rison: co
p
y the
c
od
e
from
smatch_const
r
a
ints
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-15
D
an
C
arpe
n
ter
im
p
lied: improve t
h
e
"too hairy" message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-14
Dan
Carpenter
comparison: store the express
i
ons
involved
(
if
i
t
'
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next