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/math: handle __builtin_choose_expr()
2018-04-11
Dan Carpenter
flow/math: hand
l
e __builtin_ch
o
ose_e
x
pr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-10
D
a
n Carpenter
validat
i
o
n
/
o
ver
f
low: change "warn:" to
"
error:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-10
D
a
n Carpenter
about_fn_ptr_arg: do
n
'
t
get into a recursive l
o
op
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Ca
r
penter
helper: add get
_
last_statement_from_
e
x
pre
s
sion_stmt
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
mem_tracker: add
a
--mem option to debug memory use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Da
n
Carpente
r
ex
p
res
s
ions:
r
em
o
ve some unnec
e
ssary gotos
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
h
elper: improve is
_
error_return()
.
In the kern
e
l all
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
D
a
n Carp
e
nte
r
sm
a
tch_data/smat
c
h
.
c
o
mm
o
n_functions: add some
com
m
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
smatch_data/kernel
.
i
g
nored_macros: add AA_BUG()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpente
r
smatch_data/kerne
l
.
ignore_
u
ninitialized params: add
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Da
n
Carpenter
smatch_data/kerne
l
.
ignore_side_
e
ff
e
cts add recent m
a
c
ros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
comparison: handle e
x
pr
e
s
s
ion state
m
ents bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpent
e
r
comparison: remove some debug
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
comparison: int
r
od
u
ce
i
mp
o
ssib
l
y_hi
g
h
_com
p
arison()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-05
Dan
C
a
rpe
n
ter
ign
o
re:
fix && vs || typo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-29
D
an Carp
e
nter
index_o
v
erflow: alm
o
st a r
e
-write
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
implied
:
impro
v
e handling of assignme
n
ts in arguments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Da
n
C
a
rpenter
kernel_printf: don't warn abou
t
v
oid p
o
inters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
cheak
_
leaks: ha
n
dle returnin
g
conditionals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
D
an
C
arpenter
math: int
r
oduce a new c
a
c
he of
recen
t
ly used constants
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Da
n
C
a
rpenter
m
a
th: handle __builtin_constant_p()
p
r
o
p
e
rly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Car
p
enter
math: allo
c
ated s
o
me permanent
ran
g
e
lists in
rl_zero
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
D
a
n Carpenter
conditions: Fix
p
arsing foo
=
({
.
.
.
label: _
_
ret; })
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-14
D
a
n Carp
e
nter
fu
n
cti
o
n_hooks: don'
t
be
t
o
o ambitious faki
n
g
para
m
eter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-12
D
a
n Carpe
n
ter
ranges/ptrlis
t
: solve a le
a
k wit
h
a big hack (sec
o
nd
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-12
Dan Carpenter
all
o
cate: use unsigned
l
ong to record all
o
cation
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Da
n
Carpenter
deref_check
:
fix a small le
a
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
D
a
n
Carpenter
hoo
k
s:
introduce FUNCT
I
ON_C
A
LL_HOOK_BEFORE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpe
n
ter
user_data: reading from an array doesn't neces
s
arily
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
D
a
n
Carpent
e
r
implie
d
: i
n
t
r
o
duce
impossible_assumption()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan
C
arp
e
nter
b
u
f_size: don't save unnecessary states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan
C
ar
p
enter
mtag: push a
l
l
my changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Car
p
e
n
ter
ra
n
ges: fix a
leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
debug: add __smatch_state_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
D
a
n Carpe
n
ter
modification_hoo
k
s:
don't save the expressions outside
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
D
an Carpe
n
ter
var_sym: tweak expr_to_v
s
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
D
an Carpen
t
er
symbol
.
h:
l
et is_
p
tr_ty
p
e() take NULL pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Car
p
ente
r
re
t
urn_to_
p
a
ram:
fix
a
crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
st
r
uc
t
_ass
i
g
nme
n
t
/assigned_expression: save some m
o
re
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
D
an Carpen
t
er
express
i
ons
:
fre
e
al
l
ocated expressions after the end
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-05
Dan Carp
e
nter
rosenberg: check the correct alignment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-01
D
an Ca
r
penter
Merge git://git
.
k
ern
e
l
.
org/
p
ub/s
c
m
/
devel/sparse/
s
par
s
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-27
Dan Carpenter
m
t
ag: fix build error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-22
Dan C
a
rpenter
helper: fix segfault par
s
ing invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan C
a
r
penter
t
ype_val
:
dev_get_drvda
t
a()
d
oes
n
't set the types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpente
r
or_
v
s
_
a
nd: white
s
pace cle
a
n
u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
conditions:
pass S
E
LEC
T
_HOOK for se
l
e
c
t
a
s
signm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
estat
e
:
w
h
i
te
s
pace cl
e
an u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n
Carp
e
nter
cons
t
raints: allow binop constraints
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Ca
r
p
enter
smatch_com
p
arison: fix a
c
r
ashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan C
a
rpenter
c
h
eck_k
e
rnel: handle fls
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n
Carpen
t
er
extra: tight parameter values a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpente
r
extra: handle "if (foo &
0
x1) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
D
an Carpenter
extra: d
o
n
'
t se
t
true/
f
alse states if it's the sam
e
.
.
.
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 i
f
th
e
re are no impl
i
cations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
D
an
C
a
r
penter
math: silence hard max
f
alse positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n C
a
r
penter
sl
i
st
:
d
o
n't
p
a
s
s stuff
t
o
p
r
e
_merge_hooks that isn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n Carp
e
nter
m
tag: k
i
ll an endless loop in
up coming
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpe
n
ter
c
all_math: initi
a
lize
s
o
me strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan
Carpen
t
er
fn_a
r
g_link
:
fi
x
an endless
loop
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-20
Dan Carpenter
db: fix
a
segfault parsi
n
g in
v
alid co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-19
Dan Carpenter
comparison:
improve handling of
"
if (fo
o
+
1
> limit
)
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
Dan Carp
e
nter
db/comparis
o
n: Use mask i
n
formation
t
o get compariso
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
Dan
Carpent
e
r
comparison:
handle __smatch_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 hand
l
e
_
AN
D
_op()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
Dan
C
arpenter
extra: cleanup handling "if (foo & 0x
1
)
{"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-13
Dan
C
arpent
e
r
us
e
r_data: si
l
ence s
o
me fal
s
e positives with divides
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-13
Dan Carpent
e
r
user
_
dat
a
2: sil
e
n
ce s
o
me fal
s
e positives han
d
ling
ntohl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-13
Da
n
C
a
rpenter
conditio
n
s: hack around "if (
f
oo | bar) {"
(
bi
t
wise OR)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-09
D
an Carpenter
data/k
e
r
n
el
.
igno
r
e_macro_indenting:
ignore tcp_skb_tsorte
d
_r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan
C
arpenter
d
b/smdb
.
py: change
s
om
e
fo
r
m
a
tting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n Carpenter
db
/
smdb
.
py: fi
x
the PARA
M
_COMPARE/LIM
I
T
types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
r
o
s
e
nberg: f
i
x a c
r
ashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Car
p
ente
r
user_
d
a
ta2: do a h
a
ck aro
u
nd in the
p
re_m
e
rge_
h
ook()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
D
an Carpenter
con
s
t
raints: hand
l
e
c
ondi
t
i
on
s
lik
e
"if
(
8
< x) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpente
r
expr_to_
c
h
u
n
k_helper: s
e
t
*sym wh
e
n
ther
e
is only
one
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpente
r
sl
i
st: allow show_sm() t
o
a
ccept NULL
p
ointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n
Car
p
enter
flow
:
don't fake an impossibl
e
def
a
ult
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Da
n
C
arpenter
t
yp
e
_
val: record fe
w
er "un
k
nown" assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
flow: set loop_
c
ount
t
o zero when pa
r
sing inline func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
core: silence som
e
fal
s
e pos
i
t
ives from parsin
g
invalid
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-19
Dan Carpen
t
er
implied: use a time based timeou
t
inste
a
d of counting
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-19
Dan C
a
rpe
n
te
r
extra: handle loops
like: w
h
ile
(
--i >= 0)
{
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carp
e
nte
r
functio
n
_
h
ooks: fake an assignment
whe
n
functions
r
eturn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-18
Dan
C
arpenter
che
c
k
_free_strict: New stricter cross function use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
c
heck_atomic
_
i
n
c
_
d
ec: t
r
a
c
k
atomic_inc() a
n
d a
t
omic_dec()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
assign
e
d_exp
r
:
handle fake
assi
g
nments
bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
D
a
n
C
a
r
p
enter
ass
i
gned_expr: remove debu
g
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carpenter
k
e
r
nel
_
printf: %px is
v
alid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carpenter
s
t
ree: debugging
:
print the number of
st
a
tes in __print_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan C
a
rpenter
mtag: c
o
m
mit all
mtag
relat
e
d code to dat
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpe
n
ter
smdb
.
p
y
: fix
some cras
h
ing bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Car
p
e
n
ter
conta
i
ner_of: handle f
u
nction calls
l
ik
e
foo-
>
bar(foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Da
n
Car
p
enter
smat
c
h: g
e
t
the smatch bin dir co
r
rectly when it's
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Car
p
enter
user_data2: empty st
a
tes are not u
s
er data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpen
t
er
constr
a
i
n
t
s
_requ
i
red: im
p
r
ove
handli
n
g of a
s
sig
n
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan C
a
rpenter
db: don
'
t split
b
y
NULL vs non-N
U
LL when there are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpen
t
er
flow: store
a
backup
of the
start time whe
n
pars
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan
C
arpe
n
ter
helper: change so
m
e
n
o
nsense val
u
es to other nonsen
s
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
an Carpenter
D
B
:
introduce a timeou
t
handling cal
l
er info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next