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
flow: nest some inline statements
2018-02-21
D
a
n C
a
rpente
r
con
d
itions:
p
ass SELECT_HOOK for select assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
Carp
e
nt
e
r
estate: white space
clean
up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n Carp
e
nter
c
o
ns
t
raints
:
allow binop constrain
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
sm
a
tch_comparison: fix a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
an Carp
e
n
t
er
check_kernel: ha
n
dle fls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Da
n
Carpenter
ext
r
a: tight param
e
ter values
a
bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Ca
r
penter
extr
a
:
handle "if (foo & 0x1) {
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
Carpenter
extr
a
: do
n
't set tru
e
/
false states i
f
i
t's th
e
s
ame
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n Carpenter
implied: u
s
e assume()
even if th
e
re are no
i
mplications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
C
a
r
p
enter
ma
t
h: sil
e
nce hard ma
x
f
al
s
e positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpent
e
r
slist: don't pass
s
tuf
f
to pre
_
merge_hooks
that
i
sn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Ca
r
penter
mtag: kil
l
an en
d
less loo
p
in up c
o
m
i
n
g code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Da
n
Ca
r
penter
call_math:
i
n
i
t
ia
l
ize some string
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
C
a
rpenter
f
n
_arg_link: fix an endl
e
ss loop
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-20
Dan Carpe
n
t
e
r
db: fix a seg
f
ault parsing in
v
alid cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-19
D
a
n Carpente
r
c
o
mparison:
i
mpr
o
ve handling of
"if (foo + 1 > limit) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
Dan
Carp
e
nter
db/comparison: U
s
e
mask inform
a
tion to get c
o
mparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
D
a
n C
a
r
p
ent
e
r
compari
s
o
n
: handle __
s
match_com
p
are(fo
o
, bar - 1)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
D
an Carpe
n
ter
e
xtra:
c
l
eanup handle_AND_op(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
Dan
Ca
r
penter
ext
r
a: cleanup
h
andling "if (foo & 0x1) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-13
Dan Ca
r
penter
user_data: silence some false positi
v
es with di
v
i
d
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-13
D
a
n
C
a
rp
e
n
t
er
user_data
2
:
si
l
ence some false
p
ositives handl
i
ng
n
tohl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-13
Dan Carpenter
conditions: hack aroun
d
"i
f
(foo | bar) {" (bitwise OR)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-09
Dan Carpenter
d
a
ta/kernel
.
ignore_m
a
cro_i
n
denting:
ignor
e
tcp_skb
_
t
s
o
r
ted_r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Da
n
C
a
r
penter
db/smdb
.
py
:
chang
e
some formatt
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
db/smdb
.
py: fix th
e
PARAM_COMPARE/LIMIT types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
ros
e
n
berg: fix a c
r
ashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
D
an Carpen
t
er
us
e
r_data2: do a hack
a
r
ound in t
h
e pre
_
merge_hook()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan
C
a
r
penter
c
o
nstraints: handle conditi
o
ns like "if (8 < x) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n Carp
e
nter
expr_to_chunk_
h
elper: set
*
sy
m
when there is only one
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
slist
:
allow show_sm()
t
o
a
ccept
N
ULL p
o
inters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
flow: d
o
n't fake an im
p
oss
i
ble d
e
fault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Ca
r
penter
type_val: record
few
e
r "unknown" assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Car
p
en
t
er
flow: set loop_count to zer
o
w
h
en parsing inline fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
c
o
re: sile
n
ce some false positives
f
rom pars
i
n
g i
n
valid
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
D
a
n Carpenter
implied:
u
s
e
a time
base
d
time
o
ut
i
nst
e
ad of c
o
unting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
D
a
n Carpent
e
r
extra: handle l
o
ops like
:
wh
i
le (--i
>= 0) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan Ca
r
p
enter
f
u
n
c
tion_ho
o
ks: fake
a
n assignment when functi
o
ns retu
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Da
n
C
a
rpenter
c
h
eck_free_s
t
r
i
ct: New
s
trict
e
r cross
f
un
c
t
i
on
use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan
C
a
rpenter
ch
e
ck_ato
m
ic_inc_dec: tr
a
ck
atomic_in
c
() and atomic_
d
ec()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan
Carpenter
as
s
igned_expr:
h
andle fak
e
assignments
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan Ca
r
penter
ass
i
gned_expr: r
e
move debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carpent
e
r
kern
e
l_printf
:
%px is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan
Carpenter
s
t
ree:
d
ebug
g
ing
:
pri
n
t the number
of
s
t
a
t
es
i
n __print_
s
tree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
D
an C
a
r
pen
t
er
m
ta
g
: commit
all mtag
r
elated cod
e
to date
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
D
a
n Carpente
r
smdb
.
py: fi
x
some
crashing bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan C
a
rpenter
container_of: handle function calls like foo->bar(foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
s
m
a
tch: get
t
he sm
a
tch bin d
i
r
correct
l
y wh
e
n it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Car
p
enter
user
_
data2: e
m
pty states are not
user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
cons
t
raints_required:
improve handling of assigned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
an
Carpenter
d
b
:
d
on't split by
NUL
L
vs
non-NULL when there are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
flow: store a backup of the start tim
e
when parsing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
h
elper
:
change
s
o
m
e
nonsen
s
e
values to other nonsense
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Carpe
n
ter
DB: i
n
t
r
od
u
ce a timeo
u
t handling caller
i
nf
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Ca
r
pent
e
r
addr
e
ss:
fix handling of &foo->bar
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carp
e
nter
con
t
straints: use caller info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Carpenter
constr
a
ints
:
move print_return_implies_const
r
ained
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Ca
r
p
e
nter
cons
t
r
a
int
s
:
cleanup unm
e
t_const
r
aint()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpent
e
r
constraints: fix
add
_
co
n
straint(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-09
Dan
C
a
r
p
enter
mtag: introduce c
r
e
a
te_mtag_alias
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpen
t
er
mtag: fix get_mtag()
f
or recorded s
t
a
t
es and
f
or arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Ca
r
penter
links:
no n
e
ed to record links outs
i
de a function
call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
ty
p
e_val: cach
e
DB info as a sp
e
ed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpent
e
r
string_
l
ist: p
r
event a use
a
f
t
er free
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-14
Da
n
Carpente
r
mtag: rename from mtags
p
lural to mtag singu
l
ar
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carp
e
nte
r
helper: keep a sma
l
l
cache
of
r
ecently
used varia
b
le
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n Carp
e
nter
extra: pass express
i
on pointer to
mod/nom
o
d hook
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpen
t
er
extra: write infrastructure to pas
s
expr
to
n
o_m
o
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
db/build_early_ind
e
x
.
sh:
s
et up more mt
a
g indexe
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n Carpent
e
r
expressions:
initializ
e
->member_offset() in member_expression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Ca
r
p
e
nter
f
u
nction_hooks: set path imp
o
s
sible if we cull
e
verything
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
mtags: remove the & pre
-
op
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan C
a
rp
e
nter
scripts/ge
n
_
allocation
_
l
i
st
.
sh: add __alloc_skb()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
an Carpenter
db/fixup_kernel
.
s
h
: snp
r
intf(
)
returns
aren't real
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
extra: pas
s
t
h
e
mod
i
fied expressio
n
to extra_mod_hooks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
Carpenter
extra: store
v
alues fo
r
e
x
pr
e
ssion
s
li
k
e "
f
oo[3]
.
bar"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
addres
s
: don't
s
egf
a
ult pars
i
ng in
v
alid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpe
n
ter
i
gnore: re-wri
t
e a
n
d add _expr() versions of functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpen
t
e
r
param_s
e
t/filter: PA
R
A
M_SET instead of PARAM_ADD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Car
p
enter
p
arse
_
c
a
l
l_m
a
th:
u
se assig
n
ed va
l
ues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpe
n
ter
sval: improve sval_binop_overflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Ca
r
pen
t
er
extra: d
o
n't mod
i
fy const para
m
eters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
Carpenter
address/type: ma
k
e so
m
e function parame
t
ers
c
o
n
st
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
Carp
e
nter
st
r
uct_assignmen
t
: remove an duplicate NULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
s
t
r
u
ct_assignment: do
n
't double
parse ulo
n
g assignment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan
C
arpente
r
st
r
uct_
a
ssignment
:
fix a NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
D
a
n Carpen
t
er
d
b/mtags: add mtag_
d
ata
and mtag_map tables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carp
e
n
t
er
d
b
/fn_ptr_data_link:
d
on'
t
st
o
re dupli
c
ate records
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan
C
arpenter
db: allow
S
QL statements to be
r
un later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan
Carpenter
d
b
: introdu
c
e
g
et_mtag_name_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Da
n
Carpenter
s
tr
u
ct_assig
n
m
ent: handle n
o
n struc
t
, poin
t
er assignments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
D
a
n C
a
rpenter
struct_assignment: fix handling of non_struct_assignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carp
e
nt
e
r
s
t
ruct_assignment: split handle_non_
s
truct
_
assigments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carp
e
nter
i
ndex_overflow: make all
m
essage
s
"error:"
instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan
Carpenter
i
ndex_
o
ve
r
fl
o
w
:
small
c
leanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan Ca
r
penter
i
n
dex_overfl
o
w: don't warn about imp
o
s
s
ible pat
h
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carpe
n
ter
m
tag: introduce me
m
or
y
t
a
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
D
an Carpenter
implications: set_state() sho
u
ld trump impli
c
ations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-21
Dan Ca
r
penter
buf_
c
ompariso
n
:
c
opy th
e
c
od
e
from sm
a
tch_co
n
st
r
aints
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-15
Dan Carpenter
implied: improve
t
he
"too hairy"
message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next